Functor Module.FreeRightModule

module FreeRightModule: 
functor (R : Ring.T) -> 
functor (X : Alphabet.T) -> FreeRight(R)(X)

include struct ... end

val cinj : X.t -> Ring.Op(R).t -> t

val cmul : t -> Ring.Op(R).t -> t

val to_string : t -> string