PulseBaseDomain (infer.Pulselib.PulseBaseDomain)

module F = Stdlib.Format

type t = {

heap : PulseBaseMemory.t;
stack : PulseBaseStack.t;
attrs : PulseBaseAddressAttributes.t;

}

include Ppx_compare_lib.Comparable.S with type t := t

val compare : t Base__Ppx_compare_lib.compare

include Ppx_compare_lib.Equal.S with type t := t

val equal : t Base__Ppx_compare_lib.equal

val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t

type cell = PulseBaseMemory.Edges.t * Pulselib.PulseBasicInterface.Attributes.t

val empty : t

val pp : F.formatter -> t -> unit

val subst_var : 
  for_summary:bool ->
  (Pulselib.PulseBasicInterface.AbstractValue.t
   * Pulselib.PulseBasicInterface.AbstractValue.t) ->
  t ->
  t Pulselib.PulseBasicInterface.SatUnsat.t