(* ****** ****** *)
//
// HX-2017-10-30:
// For dynloading
// ATSLIB/libats/ML/COMPILE
//
(* ****** ****** *)
//
#dynload
"libats/ML/COMPILE/DATS/array0.dats"
#dynload
"libats/ML/COMPILE/DATS/string.dats"
//
#dynload
"libats/ML/COMPILE/DATS/funmap.dats"
#dynload
"libats/ML/COMPILE/DATS/funarray.dats"
#dynload
"libats/ML/COMPILE/DATS/hashtblref.dats"
//
(* ****** ****** *)
//
// HX-2017-10-30:
// For staloading
// ATSLIB/libats/ML/COMPILE
//
(* ****** ****** *)
//
#staload
"libats/ML/COMPILE/DATS/array0.dats"
#staload
"libats/ML/COMPILE/DATS/string.dats"
//
#staload
"libats/ML/COMPILE/DATS/funmap.dats"
#staload
"libats/ML/COMPILE/DATS/funarray.dats"
#staload
"libats/ML/COMPILE/DATS/hashtblref.dats"
//
(* ****** ****** *)

(* end of [mylibies.hats] *)
