Module Algebra.Presentation.Anick.AMod.Map

module Map: sig .. end

include Mod.Map

val bind : Algebra.Presentation.t ->
       map -> Algebra.Presentation.Anick.AMod.Mod.t -> Algebra.Presentation.t