Module Line.Fields

module Fields: Hmap.S  with type 'a Key.info = label

A heterogeneous map, with keys indexed by Line.label. We use it to define the type of a structured line.