Module Algebra.Presentation.Anick.AKMod

module AKMod: sig .. end

Underlying K-module of AMod.

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) ->
       t -> unit

val map : (Algebra.Presentation.M.Anick.t ->
        Algebra.Presentation.M.t -> Algebra.Presentation.Anick.AMod.t) ->
       t -> Algebra.Presentation.Anick.AMod.t

Map a K-linear function.