Make.AbductiveDomain
type astate
val canon : astate -> Pulselib.PulseBasicInterface.AbstractValue.t -> Pulselib.PulseBasicInterface.AbstractValue.t