Module TermAttr.AttrMap

module AttrMap: Map.S  with type key = t
Map over attributes