Module Verify.Monad_Plus

Parameters

Signature

include sig ... end
val distributivity : ('a -> 'b M.t) -> 'a M.t -> 'a M.t -> bool