Module CostInstantiate.Call

type t = {
  1. loc : IBase.Location.t;
  2. pname : IR.Procname.t;
  3. node : Absint.ProcCfg.InstrNode.t;
  4. args : (IR.Exp.t * IR.Typ.t) list;
  5. captured_vars : (IR.Exp.t * IR.CapturedVar.t) list;
  6. ret : IR.Ident.t * IR.Typ.t;
}
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
val pp : Stdlib.Format.formatter -> t -> unit