Module Bounded_Meet_Semilattice.V

val identity : Bool.Bounded_Meet_Semilattice.t -> bool