PulseCanonValue (infer.Pulselib.PulseCanonValue)

module F = Stdlib.Format

module type S = sig ... end

elements of the base abstract domain (stack, heap, attributes) with a type-safe interface that reflects the expected normalization status of the abstract values they mention

module Make
  (AbductiveDomain : sig ... end) : 
  S with type astate = AbductiveDomain.astate

for use in PulseAbductiveDomain to define PulseAbductiveDomain.CanonValue