Pulselib.PulseOperationResult
type 'a t = 'a Pulselib.PulseDomainInterface.AccessResult.t Pulselib.PulseBasicInterface.SatUnsat.t
val sat_ok : 'a Pulselib.PulseDomainInterface.AccessResult.t Pulselib.PulseBasicInterface.SatUnsat.t -> 'a option
val list_fold : 'a list -> init:'b -> f:('b -> 'a -> 'b t) -> 'b t
module Import : sig ... end
For opening in other modules.
open