Module Textual.ProcDesc

type t = {
  1. procdecl : ProcDecl.t;
  2. nodes : Node.t list;
  3. start : NodeName.t;
  4. params : VarName.t list;
  5. locals : (VarName.t * Typ.annotated) list;
  6. exit_loc : Location.t;
}
val pp : F.formatter -> t -> unit
val formals : t -> Typ.annotated list
val is_ready_for_to_sil_conversion : t -> bool