Pulselib.PulseModelsDSLtype astate = Pulselib.PulseDomainInterface.AbductiveDomain.tmodule Syntax : sig ... endval unsafe_to_astate_transformer :
'a model_monad ->
PulseModelsImport.model_data ->
astate ->
('a * astate) PulseBasicInterface.sat_unsat_twarning: 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...