Module `String.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 : Bastet.Interface.MEDIAL_MAGMA) -> functor (A : sig ... end) -> sig ... end

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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