Bounded_Join_Semilattice.2-Error
include Interface.JOIN_SEMILATTICE
type t
val join : t -> t -> t
val bottom : t