sig
  type t = Algebra.Presentation.Anick.AMod.t
  type r = K.t
  val cinj :
    K.t ->
    Algebra.Presentation.M.Anick.t ->
    Algebra.Presentation.M.t -> Algebra.Presentation.Anick.AMod.t
  val inj :
    Algebra.Presentation.Anick.AMod.t ->
    Algebra.Presentation.M.t -> Algebra.Presentation.Anick.AMod.t
  val cmul :
    K.t ->
    Algebra.Presentation.Anick.AMod.t -> Algebra.Presentation.Anick.AMod.t
  val iter :
    (K.t ->
     Algebra.Presentation.M.Anick.t -> Algebra.Presentation.M.t -> unit) ->
    Algebra.Presentation.Anick.AKMod.t -> unit
  val map :
    (Algebra.Presentation.M.Anick.t ->
     Algebra.Presentation.M.t -> Algebra.Presentation.Anick.AMod.t) ->
    Algebra.Presentation.Anick.AKMod.t -> Algebra.Presentation.Anick.AMod.t
end