Module CLogic.CAbsPred

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