Module Algebra.Presentation.Anick.AMod.Mod

module Mod: Module.FreeRight(Algebra.Presentation.A)(Algebra.Presentation.M.Anick)

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