See:
http://ats-lang.sourceforge.net/DOCUMENT/ATS2TUTORIAL/HTML/HTMLTOC/book1.html
It is currently Chapter 12.
I am trying to have convenience wrappers made for various implementations
of common data structures
(functional and linear) so as to allow them to be readily accessible. These
wrappers can also serve as
examples showing a typical way of using ATSLIB.