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