Many_Valued_Logic.Bounded_Distributive_Lattice
Ok : Interface.BOUNDED_LATTICE
Error : Interface.BOUNDED_LATTICE
include sig ... end
type t
= (Ok.t, Error.t) Stdlib.result
val join : t -> t -> t
val bottom : t
val meet : t -> t -> t
val top : t