Module Field

module Field: sig .. end

Fields.

module type T = sig .. end

A field.

module Bool: sig .. end

The field with two elements.

module Float: sig .. end

The field of floats.

module Int: sig .. end

The "field" of integers.

module Fractions: functor (R : Ring.Euclidean) -> sig .. end

Field of fractions over an euclidean domain.

module FractionsField: functor (R : Ring.Euclidean) -> Fractions(R)

module RationalFractions: functor (F : T) -> sig .. end

Field of rational fractions.

module RationalFractionsField: functor (F : T) -> RationalFractions(F)

module Ring: functor (F : T) -> sig .. end

Underlying ring of a field.