Module Scalar

module Scalar: sig .. end

Type of scalars along with basic scalar operations.

Useful to build matrices or polynomials (for instance) over it (see modules Matrix and Polynomial).

module type M = sig .. end

A minimalistic module type.

module type S = sig .. end

An extended module type.

module Make: functor (M : M) -> S  with type t = M.t

Adds extended operations.

module Q: S  with type t = Q.t

module Float: S  with type t = float