Parameter Join_Semilattice.1-Ok

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