sig
  module E = Mod.Map.E
  type map = Mod.t E.t
  val set : map -> M.Anick.t -> Mod.t -> map
  val app : map -> M.Anick.t -> Mod.t
  val zero : map
  val to_string : map -> string
  type t = map
  val bind :
    Algebra.Presentation.t ->
    map -> Algebra.Presentation.Anick.AMod.Mod.t -> Algebra.Presentation.t
end