package bastet

  1. Overview
  2. Docs
package bastet
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = Make(T)(Q).t
type 'a arbitrary = 'a Make(T)(Q).arbitrary
val (<.) : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
module Compare : sig ... end
module Medial_Magma (M : Interface.MEDIAL_MAGMA) (A : sig ... end) : sig ... end
module Semigroup (S : Interface.SEMIGROUP) (A : sig ... end) : sig ... end
module Quasigroup (QG : Interface.QUASIGROUP) (A : sig ... end) : sig ... end
module Loop (L : Interface.LOOP) (A : sig ... end) : sig ... end
module Group (G : Interface.GROUP) (A : sig ... end) : sig ... end
module Abelian_Group (G : Interface.ABELIAN_GROUP) (A : sig ... end) : sig ... end
module Monoid (M : Interface.MONOID) (A : sig ... end) : sig ... end
module Functor (F : Interface.FUNCTOR) (AA : sig ... end) : sig ... end
module Apply (A : Interface.APPLICATIVE) (AA : sig ... end) : sig ... end
module Applicative (A : Interface.APPLICATIVE) (AA : sig ... end) : sig ... end
module Monad (M : Interface.MONAD) (AA : sig ... end) : sig ... end
module Alt (A : Interface.ALT) (AA : sig ... end) : sig ... end
module Alternative (A : Interface.ALTERNATIVE) (AA : sig ... end) : sig ... end
module Plus (P : Interface.PLUS) (AA : sig ... end) : sig ... end
module Eq (E : Interface.EQ) (A : sig ... end) : sig ... end
module Ord (O : Interface.ORD) (A : sig ... end) : sig ... end
module Join_Semilattice (JS : Interface.JOIN_SEMILATTICE) (A : sig ... end) : sig ... end
module Meet_Semilattice (MS : Interface.MEET_SEMILATTICE) (A : sig ... end) : sig ... end
module Bounded_Join_Semilattice (BJS : Interface.BOUNDED_JOIN_SEMILATTICE) (A : sig ... end) : sig ... end
module Bounded_Meet_Semilattice (BMS : Interface.BOUNDED_MEET_SEMILATTICE) (A : sig ... end) : sig ... end
module Lattice (L : Interface.LATTICE) (A : sig ... end) : sig ... end
module Bounded_Lattice (BL : Interface.BOUNDED_LATTICE) (A : sig ... end) : sig ... end
module Distributive_Lattice (DL : Interface.DISTRIBUTIVE_LATTICE) (A : sig ... end) : sig ... end
module Heyting_Algebra (HA : Interface.HEYTING_ALGEBRA) (A : sig ... end) : sig ... end
module Involutive_Heyting_Algebra (IHA : Interface.INVOLUTIVE_HEYTING_ALGEBRA) (A : sig ... end) : sig ... end
module Boolean_Algebra (BA : Interface.BOOLEAN_ALGEBRA) (A : sig ... end) : sig ... end
module Bounded (B : Interface.BOUNDED) (A : sig ... end) : sig ... end
module Semiring (S : Interface.SEMIRING) (A : sig ... end) : sig ... end
module Ring (R : Interface.RING) (A : sig ... end) : sig ... end
module Commutative_Ring (C : Interface.COMMUTATIVE_RING) (A : sig ... end) : sig ... end
module Division_Ring (D : Interface.DIVISION_RING) (A : sig ... end) : sig ... end
module Euclidean_Ring (E : Interface.EUCLIDEAN_RING) (A : sig ... end) : sig ... end
module Field (F : Interface.FIELD) (A : sig ... end) : sig ... end
module Invariant (I : Interface.INVARIANT) (AA : sig ... end) : sig ... end