Pulselib.PulseModelsDSL
type astate = Pulselib.PulseDomainInterface.AbductiveDomain.t
module Syntax : sig ... end
val unsafe_to_astate_transformer :
'a model_monad ->
PulseModelsImport.model_data ->
astate ->
('a * astate) PulseBasicInterface.sat_unsat_t
warning: the transformation will fail if the result of the computation is not a single abstract state with no error and it ignores the non-disjunctive state. You should think twice before using it...