Functor Module.Free

module Free: 
functor (R : Ring.T) -> 
functor (X : Alphabet.T) -> FreeLeft(R)(X)

module Ring: R

module E: sig .. end

type r = R.t 

type t = r E.t 

val zero : t

val cinj : R.t -> X.t -> t

val inj : X.t -> t

val coeff : t -> X.t -> r

val included : t -> t -> bool

val eq : t -> t -> bool

val add_monomial : t -> r -> X.t -> t

val add : t -> t -> t

val cmul : R.t -> t -> t

val neg : t -> t

val sub : t -> t -> t

val to_string : t -> string

val map : (X.t -> t) -> t -> t

val iter : (R.t -> X.t -> unit) -> R.t E.t -> unit

module Map: sig .. end

module Presentation: sig .. end