Jsil_syntax.EProc
module Annot = Gillian.Gil_syntax.Annot.Basic
module Flag = Gillian.Gil_syntax.Flag
type t = {
name : string;
body : (Annot.t * string option * LabCmd.t) array;
params : string list;
spec : Spec.t option;
}
val pp : Stdlib.Format.formatter -> t -> unit