Module Many_Valued_Logic.Join_Semilattice

Parameters

• Ok : Interface.JOIN_SEMILATTICE
• Error : Interface.JOIN_SEMILATTICE

Signature

type t = (Ok.t, Error.t) Stdlib.result

val join : t -> t -> t