Module Bounded_Join_Semilattice.V

val identity : Bool.Bounded_Join_Semilattice.t -> bool