Module `Int.M`

val (<.) : ('a, 'b) Bastet__Function.Semigroupoid.t -> ('c, 'a) Bastet__Function.Semigroupoid.t -> ('c, 'b) Bastet__Function.Semigroupoid.t

module Compare : sig ... end

module Medial_Magma : functor (M : Interface.MEDIAL_MAGMA) -> functor (A : sig ... end) -> sig ... end

module Semigroup : functor (S : Interface.SEMIGROUP) -> functor (A : sig ... end) -> sig ... end

module Quasigroup : functor (QG : Interface.QUASIGROUP) -> functor (A : sig ... end) -> sig ... end

module Loop : functor (L : Interface.LOOP) -> functor (A : sig ... end) -> sig ... end

module Group : functor (G : Interface.GROUP) -> functor (A : sig ... end) -> sig ... end

module Abelian_Group : functor (G : Interface.ABELIAN_GROUP) -> functor (A : sig ... end) -> sig ... end

module Monoid : functor (M : Interface.MONOID) -> functor (A : sig ... end) -> sig ... end

module Functor : functor (F : Interface.FUNCTOR) -> functor (AA : sig ... end) -> sig ... end

module Apply : functor (A : Interface.APPLICATIVE) -> functor (AA : sig ... end) -> sig ... end

module Applicative : functor (A : Interface.APPLICATIVE) -> functor (AA : sig ... end) -> sig ... end

module Monad : functor (M : Interface.MONAD) -> functor (AA : sig ... end) -> sig ... end

module Alt : functor (A : Interface.ALT) -> functor (AA : sig ... end) -> sig ... end

module Alternative : functor (A : Interface.ALTERNATIVE) -> functor (AA : sig ... end) -> sig ... end

module Plus : functor (P : Interface.PLUS) -> functor (AA : sig ... end) -> sig ... end

module Eq : functor (E : Interface.EQ) -> functor (A : sig ... end) -> sig ... end

module Ord : functor (O : Interface.ORD) -> functor (A : sig ... end) -> sig ... end

module Join_Semilattice : functor (JS : Interface.JOIN_SEMILATTICE) -> functor (A : sig ... end) -> sig ... end

module Meet_Semilattice : functor (MS : Interface.MEET_SEMILATTICE) -> functor (A : sig ... end) -> sig ... end

module Bounded_Join_Semilattice : functor (BJS : Interface.BOUNDED_JOIN_SEMILATTICE) -> functor (A : sig ... end) -> sig ... end

module Bounded_Meet_Semilattice : functor (BMS : Interface.BOUNDED_MEET_SEMILATTICE) -> functor (A : sig ... end) -> sig ... end

module Lattice : functor (L : Interface.LATTICE) -> functor (A : sig ... end) -> sig ... end

module Bounded_Lattice : functor (BL : Interface.BOUNDED_LATTICE) -> functor (A : sig ... end) -> sig ... end

module Distributive_Lattice : functor (DL : Interface.DISTRIBUTIVE_LATTICE) -> functor (A : sig ... end) -> sig ... end

module Bounded_Distributive_Lattice : functor (BDL : Interface.BOUNDED_DISTRIBUTIVE_LATTICE) -> functor (A : sig ... end) -> sig ... end

module Heyting_Algebra : functor (HA : Interface.HEYTING_ALGEBRA) -> functor (A : sig ... end) -> sig ... end

module Involutive_Heyting_Algebra : functor (IHA : Interface.INVOLUTIVE_HEYTING_ALGEBRA) -> functor (A : sig ... end) -> sig ... end

module Boolean_Algebra : functor (BA : Interface.BOOLEAN_ALGEBRA) -> functor (A : sig ... end) -> sig ... end

module Bounded : functor (B : Interface.BOUNDED) -> functor (A : sig ... end) -> sig ... end

module Semiring : functor (S : Interface.SEMIRING) -> functor (A : sig ... end) -> sig ... end

module Ring : functor (R : Interface.RING) -> functor (A : sig ... end) -> sig ... end

module Commutative_Ring : functor (C : Interface.COMMUTATIVE_RING) -> functor (A : sig ... end) -> sig ... end

module Division_Ring : functor (D : Interface.DIVISION_RING) -> functor (A : sig ... end) -> sig ... end

module Euclidean_Ring : functor (E : Interface.EUCLIDEAN_RING) -> functor (A : sig ... end) -> sig ... end

module Field : functor (F : Interface.FIELD) -> functor (A : sig ... end) -> sig ... end

module Invariant : functor (I : Interface.INVARIANT) -> functor (AA : sig ... end) -> sig ... end