Module Many_Valued_Logic.Meet_Semilattice

Parameters

• Ok : Interface.MEET_SEMILATTICE
• Error : Interface.MEET_SEMILATTICE

Signature

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

val meet : t -> t -> t