Module Bounded_Meet_Semilattice.V

val identity : BMS.t -> bool