Module Bounded_Join_Semilattice.V

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