There is currently really no documentation on using pats_codegen2_util.dats.

Your best bet is probably to study the code in pats_codegen2_fprint.dats 
and pats_codegen2_absrec.dats.

On Monday, October 17, 2016 at 10:16:18 PM UTC-4, buzhuyi@... wrote:
> Hi all,
> How to use pats_codegen2_util.dats for designing a template?

You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
To post to this group, send email to
Visit this group at
To view this discussion on the web visit

Reply via email to