Parameter Join_Semilattice.2-Error

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