Export lattice definitions to ATerm file that already has the transfer functions
Also: come up with a good name for this file since it won’t just hold the transfer functions. The static code export file?
Submitted by Jeff Smits on 10 November 2017 at 14:53