Module Textual.ProcDesc

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