Module Compare.Bounded_Meet_Semilattice
Parameters
B : Interface.BOUNDED_MEET_SEMILATTICEE : Interface.EQ with type t = B.t
Signature
val identity : B.t -> bool
Compare.Bounded_Meet_SemilatticeB : Interface.BOUNDED_MEET_SEMILATTICEE : Interface.EQ with type t = B.tval identity : B.t -> bool