On this page I will keep track of various ATS-related notes. In particular, things that may not be obvious from the (lack of) documentation.
When using a library that exposes templates, and those templates are defined in a .dats file, you have to
staload the .dats file, for example:
staload _ = "libats/DATS/funset_avltree.dats"
- Wu, S. "How to use the funset_avltree library?" http://stackoverflow.com/a/39726567/1804599