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