Verify.Bounded_Meet_Semilattice
M : Interface.BOUNDED_MEET_SEMILATTICE
include sig ... end
val identity : M.t -> bool