module RationalFractions: Field.RationalFractions(K)
Field.RationalFractions
(
K
)
module Polynomial: functor (F : Field.T) -> sig .. end
functor (
F
:
Field.T
) ->
sig
end
Ring of polynomials over a field.
include struct ... end