module type Ordered = sig ... endTotally ordered data
type 'a printer = Format.formatter -> 'a -> unitmodule type Pp = sig ... endPretty-printable data
module type Std = sig ... endComparable, printable and hashable data
module type Abelian_group = sig ... endAbelian group
module type Abelian_group_std = sig ... endmodule type Monoid = sig ... endMonoid
module type Monoid_std = sig ... endmodule type Ring = sig ... endRing
module type Ring_std = sig ... endmodule type Field = sig ... endField, assuming the ring is commutative.
module type Field_std = sig ... endField, assuming the ring is commutative.
module type Module = sig ... endModules over a ring R.
module type Module_std = sig ... endModule over a ring R.
module type Algebra = sig ... endAlgebra over a ring
module type Free_module = sig ... endFree module
module type Free_module_std = sig ... endmodule type Finitely_generated_free_module = sig ... endmodule type Partial_order = sig ... endPartial order.
module type Monad = sig ... endModule type of a plain monad
module type Codegen_monad = sig ... endMonad dedicated to handling computations spanning several stages
module type Infix_order = sig ... endmodule Lang : sig ... endModule types useful for metaprogramming.
module type Metric = sig ... endMetric space
module type Reals = sig ... endModule type of anything that looks like the (measured) reals.