ashalkhakov

// compile with atscc, compiler for ATS, an ML dialect
// see <www.ats-lang.org>

staload _ = "prelude/DATS/list.dats"
staload _ = "prelude/DATS/string.dats"

// the type of dynamic terms
// NOTE: using an abstract type here would be true
// to the spirit of dynamically typed languages
datatype DT =