Module Arith (.ml)

module Arith: sig .. end

module Type: 
functor (X : Sig.X) -> Polynome.T with type r = X.r
module Make: 
functor (X : Sig.X) ->
functor (P : Polynome.T with type r = X.r) ->
functor (C : Sig.C with type t = P.t and type r = X.r) -> Sig.THEORY with type r = X.r and type t = P.t