Module Forward.MA (.ml)

module MA: Map.S  with type key = Atom.t