Module `Result.Many_Valued_Logic`

module type EQ_F = functor (Ok : Interface.TYPE) -> functor (Error : Interface.TYPE) -> Interface.EQ with type t = (Ok.t, Error.t) Stdlib.result

module type ORD_F = functor (Ok : Interface.TYPE) -> functor (Error : Interface.TYPE) -> Interface.ORD with type t = (Ok.t, Error.t) Stdlib.result

module type JOIN_SEMILATTICE_F = functor (Ok : Interface.JOIN_SEMILATTICE) -> functor (Error : Interface.JOIN_SEMILATTICE) -> Interface.JOIN_SEMILATTICE with type t = (Ok.t, Error.t) Stdlib.result

module type MEET_SEMILATTICE_F = functor (Ok : Interface.MEET_SEMILATTICE) -> functor (Error : Interface.MEET_SEMILATTICE) -> Interface.MEET_SEMILATTICE with type t = (Ok.t, Error.t) Stdlib.result

module type BOUNDED_JOIN_SEMILATTICE_F = functor (Ok : Interface.BOUNDED_JOIN_SEMILATTICE) -> functor (Error : Interface.BOUNDED_JOIN_SEMILATTICE) -> Interface.BOUNDED_JOIN_SEMILATTICE with type t = (Ok.t, Error.t) Stdlib.result

module type BOUNDED_MEET_SEMILATTICE_F = functor (Ok : Interface.BOUNDED_MEET_SEMILATTICE) -> functor (Error : Interface.BOUNDED_MEET_SEMILATTICE) -> Interface.BOUNDED_MEET_SEMILATTICE with type t = (Ok.t, Error.t) Stdlib.result

module type HEYTING_ALGEBRA_F = functor (Ok : Interface.HEYTING_ALGEBRA) -> functor (Error : Interface.HEYTING_ALGEBRA) -> Interface.HEYTING_ALGEBRA with type t = (Ok.t, Error.t) Stdlib.result

module Quasireflexive_Eq : EQ_F

module Quasireflexive_Ord : ORD_F

module Join_Semilattice : JOIN_SEMILATTICE_F

module Meet_Semilattice : MEET_SEMILATTICE_F

module Bounded_Join_Semilattice : BOUNDED_JOIN_SEMILATTICE_F

module Bounded_Meet_Semilattice : BOUNDED_MEET_SEMILATTICE_F

module Lattice : functor (Ok : Interface.LATTICE) -> functor (Error : Interface.LATTICE) -> sig ... end

module Bounded_Lattice : functor (Ok : Interface.BOUNDED_LATTICE) -> functor (Error : Interface.BOUNDED_LATTICE) -> sig ... end

module Distributive_Lattice : functor (Ok : Interface.LATTICE) -> functor (Error : Interface.LATTICE) -> sig ... end

module Bounded_Distributive_Lattice : functor (Ok : Interface.BOUNDED_LATTICE) -> functor (Error : Interface.BOUNDED_LATTICE) -> sig ... end

module Heyting_Algebra : HEYTING_ALGEBRA_F

module Involutive_Heyting_Algebra : functor (Ok : Interface.INVOLUTIVE_HEYTING_ALGEBRA) -> functor (Error : Interface.INVOLUTIVE_HEYTING_ALGEBRA) -> sig ... end

module Boolean_Algebra : functor (Ok : Interface.BOOLEAN_ALGEBRA) -> functor (Error : Interface.BOOLEAN_ALGEBRA) -> sig ... end