Functor Field.RationalFractions

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

Field of rational fractions.

Parameters:

F : T

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

Ring of polynomials over a field.

include struct ... end