Module type Polynome.S

module type S = sig .. end

type r 

val compare : r -> r -> int

val term_embed : Term.t -> r

val mult : r -> r -> r

val print : Format.formatter -> r -> unit