Module `Bastet__Result.Many_Valued_Logic`

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

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

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

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

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

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

module type HEYTING_ALGEBRA_F = functor (Ok : Bastet.Interface.HEYTING_ALGEBRA) -> functor (Error : Bastet.Interface.HEYTING_ALGEBRA) -> Bastet.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 : Bastet.Interface.LATTICE) -> functor (Error : Bastet.Interface.LATTICE) -> sig ... end

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

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

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

module Heyting_Algebra : HEYTING_ALGEBRA_F

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

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