| ||||||||
| ||||||||
Description | ||||||||
This module exports functions, that can convert an sml-CATS ATerm into the Haskell abstract syntax tree. So it contains all the necessary instances of ATermConvertible and a heuritic function that calculates the new lists of Pos out of Region tuples. the templates for the instances are automatically derived by DrIFT. But there were made many hand written changes. todo: - p_flag from pos-TERM is not considered jet! | ||||||||
Synopsis | ||||||||
| ||||||||
Produced by Haddock version 0.6 |