Module CLogic.CPred

type t = {
  1. pure : bool;
  2. name : string;
  3. params : (string * GilType.t option) list;
  4. definitions : (assert_annot option * CAssert.t) list;
  5. ins : int list;
  6. no_unfold : bool;
}
val pp_params : Stdlib.Format.formatter -> ((string * GilType.t option) list * int list) -> unit
val pp_def : Stdlib.Format.formatter -> (assert_annot option * CAssert.t) -> unit
val pp : Stdlib.Format.formatter -> t -> unit