Module Bounded_Meet_Semilattice.V

val identity : Bastet.Bool.Bounded_Meet_Semilattice.t -> bool