Module Compare.Monad_Plus

Parameters

• M : Interface.MONAD_PLUS
• E : Interface.EQ1 with type 'a t = 'a M.t

Signature

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