Module Compare.Bounded_Lattice

Parameters

• L : Interface.BOUNDED_LATTICE
• E : Interface.EQ with type t = L.t

Signature

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