@hackage chr-data0.1.0.1

Datatypes required for chr library

Datatypes required for chr library, in particular searching on treestructures, lookup abstraction, substitutions, etc. These are also used (via uhc-util) in UHC.