Module Compare.Bounded_Join_Semilattice
Parameters
B : Interface.BOUNDED_JOIN_SEMILATTICEE : Interface.EQ with type t = B.t
Signature
val identity : B.t -> bool
Compare.Bounded_Join_SemilatticeB : Interface.BOUNDED_JOIN_SEMILATTICEE : Interface.EQ with type t = B.tval identity : B.t -> bool