Module Ring

module Ring: sig .. end

Rings.

module type T = sig .. end

A ring.

module type Euclidean = sig .. end

An euclidean domain.

module Bool: sig .. end

The ring of booleans.

module Int: sig .. end

The ring of integers.

module Float: sig .. end

The ring of floats.

module Polynomial: functor (R : T) -> sig .. end

Polynomial ring over a ring.

module PolynomialRing: functor (R : T) -> Polynomial(R)

module Op: functor (R : T) -> sig .. end

Opposite ring.