module Series: sig .. end
sig
end
Formal series.
module Make: functor (K : Field.T) -> sig .. end
functor (
K
:
Field.T
) ->
Formal series over a given field.
module Field: functor (K : Field.T) -> Make(K)
Make
(
)
The field of series.