Functor Series.Field

module Field: 
functor (K : Field.T) -> Make(K)

type t = K.t Stdlib.Weak.t Stdlib.ref * (int -> K.t) 

val eq : t -> t -> 'a

val get : t -> int -> K.t

val coeff : t -> int -> K.t

val to_string : t -> string

val make : (int -> K.t) -> t

val zero : t

val one : t

val var : t

val add : t -> t -> t

val sub : t -> t -> t

val mul : t -> t -> t

val expn : t -> int -> t

val hadamard : t -> t -> t

val cmul : K.t -> t -> t

val neg : t -> t

val star : t -> t

val inv : t -> t

module Polynomial: Ring.Polynomial(K)

val polynomial : Polynomial.t -> t

module RationalFractions: Field.RationalFractions(K)

val rational : RationalFractions.t -> t