PulseAbductiveDomain.BaseDomainSigsignature common to the "normal" Domain, representing the post at the current program point, and the inverted PreDomain, representing the inferred pre-condition
type t = private BaseDomain.tinclude Ppx_compare_lib.Comparable.S with type t := tval compare : t Base__Ppx_compare_lib.compareinclude Ppx_compare_lib.Equal.S with type t := tval equal : t Base__Ppx_compare_lib.equalval yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t