Parameter Join_Semilattice.1-J

type t
val join : t -> t -> t