Module Many_Valued_Logic.Lattice

Parameters

Signature

include sig ... end
type t = (Ok.t, Error.t) Stdlib.result
val join : t -> t -> t
include module type of sig ... end with type t := t
type t = (Ok.t, Error.t) Stdlib.result
val meet : t -> t -> t