Module Compare.Distributive_Lattice

Parameters

• L : Bastet.Interface.DISTRIBUTIVE_LATTICE
• E : Bastet.Interface.EQ with type t = L.t

Signature

val distributivity : L.t -> L.t -> L.t -> bool