module Polynomial: functor (F : Field.T) -> sig .. end
functor (
F
:
Field.T
) ->
sig
end
Ring of polynomials over a field.
include struct ... end
val div : t -> t -> F.t array * t
t -> t -> F.t array * t
Euclidean division.