Join_semilattice.LAWS
type t
val join_semilattice_1 : unit -> (t, t -> t -> t) Law.t
val join_semilattice_2 : unit -> (t, t -> t) Law.t
val join_semilattice_3 : unit -> (t, t) Law.t