Module Bounded_Join_Semilattice.V

val identity : BJS.t -> bool