Module Algebra.Presentation.Anick.AMod

module AMod: sig .. end

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

include Mod

val normalize : Algebra.Presentation.t -> Ring.Op(A).t E.t -> Algebra.Presentation.t

module Map: sig .. end