Module Join_Semilattice.V
val associativity : Bastet.Bool.Join_Semilattice.t -> Bastet.Bool.Join_Semilattice.t -> Bastet.Bool.Join_Semilattice.t -> boolval commutativity : Bastet.Bool.Join_Semilattice.t -> Bastet.Bool.Join_Semilattice.t -> boolval idempotency : Bastet.Bool.Join_Semilattice.t -> bool