atslib

atslib is a set of libraries included with ATS, which seems to include all libraries except those included in contrib and a few others that are primarily designed to be used by ATS itself, such as libatslex.

atslib currently includes prelude, libc, and libats (see codegen/Makefile_atslib for more information).

Examples using atslib can be found in doc/EXAMPLE/ATSLIB.