Many_Valued_Logic.Bounded_Join_Semilattice
Ok : Interface.BOUNDED_JOIN_SEMILATTICE
Error : Interface.BOUNDED_JOIN_SEMILATTICE
include Interface.JOIN_SEMILATTICE
type t
val join : t -> t -> t
val bottom : t