All generated Haskell files import this module. The data type declarations are given here, along with the conversion relation and type inference function.
All generated Haskell files import this module. The data type declarations are given here, along with the conversion relation and type inference function.