Skip to content

Instantly share code, notes, and snippets.

@master-q

master-q/hats_includes_hats.txt

Last active August 7, 2019 07:25
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save master-q/b65918409d99aa40e4a6acbd865fc7eb to your computer and use it in GitHub Desktop.
Save master-q/b65918409d99aa40e4a6acbd865fc7eb to your computer and use it in GitHub Desktop.
Download ZIP
What does hats include?
Raw
hats_includes_hats.txt
$ grep -A 2 "\#include" `find . -name "*.hats"`
./npm-utils/contrib/libats-/hwxi/jsonats/mylibies_link.hats:local #include"./DATS/jsonats.dats" in end
./npm-utils/contrib/libats-/hwxi/jsonats/mylibies_link.hats-//
./npm-utils/contrib/libats-/hwxi/jsonats/mylibies_link.hats-(* ****** ****** *)
--
./npm-utils/contrib/libats-/hwxi/fworkshop/mydepies.hats:#include
./npm-utils/contrib/libats-/hwxi/fworkshop/mydepies.hats-"$PATSHOMELOCS\
./npm-utils/contrib/libats-/hwxi/fworkshop/mydepies.hats-/atscntrb-hx-threadkit/mylibies.hats"
--
./npm-utils/contrib/libats-/hwxi/polyglot/mylibies_link.hats:#include "./DATS/filetype.dats"
./npm-utils/contrib/libats-/hwxi/polyglot/mylibies_link.hats-in (*nothing*) end // end-of-local
./npm-utils/contrib/libats-/hwxi/polyglot/mylibies_link.hats-
--
./npm-utils/contrib/libats-/hwxi/polyglot/mylibies_link.hats:#include "./DATS/polyglot.dats"
./npm-utils/contrib/libats-/hwxi/polyglot/mylibies_link.hats-in (*nothing*) end // end-of-local
./npm-utils/contrib/libats-/hwxi/polyglot/mylibies_link.hats-
--
./npm-utils/contrib/libats-/hwxi/weboxy/mydepies.hats:#include
./npm-utils/contrib/libats-/hwxi/weboxy/mydepies.hats-"$PATSHOMELOCS\
./npm-utils/contrib/libats-/hwxi/weboxy/mydepies.hats-/atscntrb-hx-teaching-bucs/mylibies.hats"
--
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats:#include
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats-"./DATS/OpenSCAD_main.dats"
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats-//
--
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats:#include
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats-"./DATS/OpenSCAD_util.dats"
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats-//
--
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats:#include
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats-"./DATS/OpenSCAD_meta.dats"
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats-//
--
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats:#include
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats-"./DATS/OpenSCAD_label.dats"
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats-//
--
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats:#include
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats-"./DATS/OpenSCAD_argenv.dats"
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats-//
--
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats:#include
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats-"./DATS/OpenSCAD_emit.dats"
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats-//
--
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats:#include
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats-"./DATS/OpenSCAD_print.dats"
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies_link.hats-//
--
./src/CBOOT/ccomp/runtime/GCATS/gcats1_master.hats:#define __include #include
./src/CBOOT/ccomp/runtime/GCATS/gcats1_master.hats-#define __print #print
./src/CBOOT/ccomp/runtime/GCATS/gcats1_master.hats-#define __undef #undef
--
./src/pats_constraint3_appenv.hats:#include "./pats_staexp2_appenv.hats"
./src/pats_constraint3_appenv.hats-*)
./src/pats_constraint3_appenv.hats-
--
./libats/BUCS320/QuickSort/mydepies.hats:#include
./libats/BUCS320/QuickSort/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/QuickSort/mydepies.hats-/atscntrb-bucs320-divideconquer/mylibies.hats"
--
./libats/BUCS320/StreamPar/mydepies.hats:#include
./libats/BUCS320/StreamPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/StreamPar/mydepies.hats-/atscntrb-hx-threadkit/mylibies.hats"
--
./libats/BUCS320/StreamPar/mydepies.hats:#include
./libats/BUCS320/StreamPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/StreamPar/mydepies.hats-/atscntrb-hx-fworkshop/mylibies.hats"
--
./libats/BUCS320/MergeSortPar/mydepies_list.hats:#include
./libats/BUCS320/MergeSortPar/mydepies_list.hats-"$PATSHOMELOCS\
./libats/BUCS320/MergeSortPar/mydepies_list.hats-/atscntrb-bucs320-mergesort/mylibies.hats"
--
./libats/BUCS320/MergeSortPar/mydepies_array.hats:#include
./libats/BUCS320/MergeSortPar/mydepies_array.hats-"$PATSHOMELOCS\
./libats/BUCS320/MergeSortPar/mydepies_array.hats-/atscntrb-bucs320-mergesort/mylibies.hats"
--
./libats/BUCS320/MergeSortPar/mydepies.hats:#include
./libats/BUCS320/MergeSortPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/MergeSortPar/mydepies.hats-/atscntrb-hx-fworkshop/mydepies.hats"
./libats/BUCS320/MergeSortPar/mydepies.hats:#include
./libats/BUCS320/MergeSortPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/MergeSortPar/mydepies.hats-/atscntrb-hx-fworkshop/mylibies.hats"
--
./libats/BUCS320/MergeSortPar/mydepies.hats:#include
./libats/BUCS320/MergeSortPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/MergeSortPar/mydepies.hats-/atscntrb-bucs320-mergesort/mydepies.hats"
./libats/BUCS320/MergeSortPar/mydepies.hats:#include
./libats/BUCS320/MergeSortPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/MergeSortPar/mydepies.hats-/atscntrb-bucs320-mergesort/mylibies.hats"
--
./libats/BUCS320/MergeSortPar/mydepies.hats:#include
./libats/BUCS320/MergeSortPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/MergeSortPar/mydepies.hats-/atscntrb-bucs320-divideconquerpar/mydepies.hats"
./libats/BUCS320/MergeSortPar/mydepies.hats:#include
./libats/BUCS320/MergeSortPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/MergeSortPar/mydepies.hats-/atscntrb-bucs320-divideconquerpar/mylibies.hats"
--
./libats/BUCS320/DivideConquerPar/mydepies.hats:#include
./libats/BUCS320/DivideConquerPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/DivideConquerPar/mydepies.hats-/atscntrb-hx-threadkit/mylibies.hats"
--
./libats/BUCS320/DivideConquerPar/mydepies.hats:#include
./libats/BUCS320/DivideConquerPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/DivideConquerPar/mydepies.hats-/atscntrb-hx-fworkshop/mylibies.hats"
--
./libats/BUCS320/DivideConquerPar/mydepies.hats:#include
./libats/BUCS320/DivideConquerPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/DivideConquerPar/mydepies.hats-/atscntrb-bucs320-divideconquer/mylibies.hats"
--
./libats/BUCS320/QuickSortPar/mydepies_array.hats:#include
./libats/BUCS320/QuickSortPar/mydepies_array.hats-"$PATSHOMELOCS\
./libats/BUCS320/QuickSortPar/mydepies_array.hats-/atscntrb-bucs320-quicksort/mylibies.hats"
--
./libats/BUCS320/QuickSortPar/mydepies.hats:#include
./libats/BUCS320/QuickSortPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/QuickSortPar/mydepies.hats-/atscntrb-hx-fworkshop/mydepies.hats"
./libats/BUCS320/QuickSortPar/mydepies.hats:#include
./libats/BUCS320/QuickSortPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/QuickSortPar/mydepies.hats-/atscntrb-hx-fworkshop/mylibies.hats"
--
./libats/BUCS320/QuickSortPar/mydepies.hats:#include
./libats/BUCS320/QuickSortPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/QuickSortPar/mydepies.hats-/atscntrb-bucs320-quicksort/mydepies.hats"
./libats/BUCS320/QuickSortPar/mydepies.hats:#include
./libats/BUCS320/QuickSortPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/QuickSortPar/mydepies.hats-/atscntrb-bucs320-quicksort/mylibies.hats"
--
./libats/BUCS320/QuickSortPar/mydepies.hats:#include
./libats/BUCS320/QuickSortPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/QuickSortPar/mydepies.hats-/atscntrb-bucs320-divideconquerpar/mydepies.hats"
./libats/BUCS320/QuickSortPar/mydepies.hats:#include
./libats/BUCS320/QuickSortPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/QuickSortPar/mydepies.hats-/atscntrb-bucs320-divideconquerpar/mylibies.hats"
--
./libats/BUCS320/MergeSort/mydepies.hats:#include
./libats/BUCS320/MergeSort/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS320/MergeSort/mydepies.hats-/atscntrb-bucs320-divideconquer/mylibies.hats"
--
./libats/BUCS520/StreamPar/mydepies.hats:#include
./libats/BUCS520/StreamPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS520/StreamPar/mydepies.hats-/atscntrb-hx-threadkit/mylibies.hats"
--
./libats/BUCS520/StreamPar/mydepies.hats:#include
./libats/BUCS520/StreamPar/mydepies.hats-"$PATSHOMELOCS\
./libats/BUCS520/StreamPar/mydepies.hats-/atscntrb-hx-fworkshop/mylibies.hats"
--
./doc/EXAMPLE/EFFECTIVATS/MYTEXT/mytextfun.hats:#include "utils/atsdoc/HATS/xhtmlatxt.hats"
./doc/EXAMPLE/EFFECTIVATS/MYTEXT/mytextfun.hats-
./doc/EXAMPLE/EFFECTIVATS/MYTEXT/mytextfun.hats-(* ****** ****** *)
--
./utils/atexting/mylibies_link.hats:#include "./DATS/atexting_mylib.dats"
./utils/atexting/mylibies_link.hats-in (*nothing*) end
./utils/atexting/mylibies_link.hats-//
--
./utils/atexting/mylibies_link.hats:#include "./DATS/atexting_fname.dats"
./utils/atexting/mylibies_link.hats-in (*nothing*) end
./utils/atexting/mylibies_link.hats-local
./utils/atexting/mylibies_link.hats:#include "./DATS/atexting_posloc.dats"
./utils/atexting/mylibies_link.hats-in (*nothing*) end
./utils/atexting/mylibies_link.hats-//
--
./utils/atexting/mylibies_link.hats:#include "./DATS/atexting_token.dats"
./utils/atexting/mylibies_link.hats-in (*nothing*) end
./utils/atexting/mylibies_link.hats-local
./utils/atexting/mylibies_link.hats:#include "./DATS/atexting_atext.dats"
./utils/atexting/mylibies_link.hats-in (*nothing*) end
./utils/atexting/mylibies_link.hats-//
--
./utils/atexting/mylibies_link.hats:#include "./DATS/atexting_parerr.dats"
./utils/atexting/mylibies_link.hats-in (*nothing*) end
./utils/atexting/mylibies_link.hats-//
--
./utils/atexting/mylibies_link.hats:#include "./DATS/atexting_lexbuf.dats"
./utils/atexting/mylibies_link.hats-in (*nothing*) end
./utils/atexting/mylibies_link.hats-local
./utils/atexting/mylibies_link.hats:#include "./DATS/atexting_lexing.dats"
./utils/atexting/mylibies_link.hats-in (*nothing*) end
./utils/atexting/mylibies_link.hats-//
--
./utils/atexting/mylibies_link.hats:#include "./DATS/atexting_tokbuf.dats"
./utils/atexting/mylibies_link.hats-in (*nothing*) end
./utils/atexting/mylibies_link.hats-//
--
./utils/atexting/mylibies_link.hats:#include "./DATS/atexting_global.dats"
./utils/atexting/mylibies_link.hats-in (*nothing*) end
./utils/atexting/mylibies_link.hats-//
--
./utils/atexting/mylibies_link.hats:#include "./DATS/atexting_textdef.dats"
./utils/atexting/mylibies_link.hats-in (*nothing*) end
./utils/atexting/mylibies_link.hats-//
--
./utils/atexting/mylibies_link.hats:#include "./DATS/atexting_parsing.dats"
./utils/atexting/mylibies_link.hats-in (*nothing*) end
./utils/atexting/mylibies_link.hats-//
--
./utils/atexting/mylibies_link.hats:#include "./DATS/atexting_strngfy.dats"
./utils/atexting/mylibies_link.hats-in (*nothing*) end
./utils/atexting/mylibies_link.hats-local
./utils/atexting/mylibies_link.hats:#include "./DATS/atexting_topeval.dats"
./utils/atexting/mylibies_link.hats-in (*nothing*) end
./utils/atexting/mylibies_link.hats-//
--
./utils/atexting/mylibies_link.hats:#include "./DATS/atexting_commarg.dats"
./utils/atexting/mylibies_link.hats-in (*nothing*) end
./utils/atexting/mylibies_link.hats-//
--
./utils/libatsrec/mylibies_link.hats:#include "./DATS/libatsrec.dats"
./utils/libatsrec/mylibies_link.hats-in (* nothing *) end
./utils/libatsrec/mylibies_link.hats-//
--
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_mylib.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats-
./contrib/CATS-parsemit/mylibies_link.hats-(* ****** ****** *)
--
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_error.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_print.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats-//
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_symbol.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats-//
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_fname.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_posloc.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats-//
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_global.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats-//
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_syntax.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats-//
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_lexerr.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_lexbuf.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_lexing.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_tokbuf.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats-//
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_parerr.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_parsing.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_parsing_d0exp.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_parsing_d0ecl.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_parsing_instr.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats-//
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_emit.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_typedef.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats:local #include "./DATS/catsparse_fundecl.dats" in (*nothing*) end
./contrib/CATS-parsemit/mylibies_link.hats-//
./contrib/CATS-parsemit/mylibies_link.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats:#include
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats-"./DATS/cstream.dats"
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats-in end // end of [local]
--
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats:#include
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats-"./DATS/cstream_fun.dats"
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats-in end // end of [local]
--
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats:#include
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats-"./DATS/cstream_cloref.dats"
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats-in end // end of [local]
--
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats:#include
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats-"./DATS/cstream_string.dats"
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats-in end // end of [local]
--
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats:#include
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats-"./DATS/cstream_strptr.dats"
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats-in end // end of [local]
--
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats:#include
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats-"./DATS/cstream_fileref.dats"
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats-in end // end of [local]
--
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats:#include
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats-"./DATS/cstream_fileptr.dats"
./contrib/atscntrb/atscntrb-hx-cstream/mylibies_link.hats-in end // end of [local]
--
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies_link.hats:#include "./DATS/hiredis.dats"
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies_link.hats-//
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies_link.hats-in (* in of [local] *)
--
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies_link.hats:#include "./DATS/hiredis_ML.dats"
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies_link.hats-//
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies_link.hats-in (* in of [local] *)
--
./contrib/atscntrb/atscntrb-hx-sdstring/mylibies_link.hats:#include "./DATS/sdstring.dats"
./contrib/atscntrb/atscntrb-hx-sdstring/mylibies_link.hats-//
./contrib/atscntrb/atscntrb-hx-sdstring/mylibies_link.hats-in (*nothing*) end
--
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies_link.hats:#include "./DATS/pcre.dats"
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies_link.hats-//
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies_link.hats-in (* in of [local] *)
--
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies_link.hats:#include "./DATS/pcre_ML.dats"
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies_link.hats-//
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies_link.hats-in (* in of [local] *)
--
./contrib/atscntrb/atscntrb-hx-globals/HATS/gstacklst.hats:#include
./contrib/atscntrb/atscntrb-hx-globals/HATS/gstacklst.hats-"share/atspre_staload.hats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/gstacklst.hats-//
--
./contrib/atscntrb/atscntrb-hx-libjson-c/mylibies_link.hats:#include "./DATS/json.dats"
./contrib/atscntrb/atscntrb-hx-libjson-c/mylibies_link.hats:#include "./DATS/json_ML.dats"
./contrib/atscntrb/atscntrb-hx-libjson-c/mylibies_link.hats-//
./contrib/atscntrb/atscntrb-hx-libjson-c/mylibies_link.hats-in (* in of [local] *)
--
./contrib/atscntrb/atscntrb-hx-getargs/mylibies_link.hats:#include "./DATS/getargs.dats"
./contrib/atscntrb/atscntrb-hx-getargs/mylibies_link.hats-//
./contrib/atscntrb/atscntrb-hx-getargs/mylibies_link.hats-in (*nothing*) end // end of [local]
--
./share/atspre_define.hats:#include "./HATS/atspre_define_pkgreloc.hats"
./share/atspre_define.hats-//
./share/atspre_define.hats-(* ****** ****** *)
Raw
hats_staload_dats_sats.txt
$ grep -A 2 "staload" `find . -name "*.hats"`
./npm-utils/contrib/atscntrb/atscntrb-hx-libevent/mylibies.hats:#staload EV = "./SATS/ev.sats"
./npm-utils/contrib/atscntrb/atscntrb-hx-libevent/mylibies.hats-
./npm-utils/contrib/atscntrb/atscntrb-hx-libevent/mylibies.hats-(* ****** ****** *)
--
./npm-utils/contrib/atscntrb/atscntrb-hx-libev/mylibies.hats:#staload EV = "./SATS/ev.sats"
./npm-utils/contrib/atscntrb/atscntrb-hx-libev/mylibies.hats-
./npm-utils/contrib/atscntrb/atscntrb-hx-libev/mylibies.hats-(* ****** ****** *)
--
./npm-utils/contrib/atscntrb/atscntrb-hx-libcairo/mylibies.hats:#staload CAIRO = "./SATS/cairo.sats"
./npm-utils/contrib/atscntrb/atscntrb-hx-libcairo/mylibies.hats-
./npm-utils/contrib/atscntrb/atscntrb-hx-libcairo/mylibies.hats-(* ****** ****** *)
--
./npm-utils/contrib/atscntrb/atscntrb-hx-libxml2/libxml/mylibies.hats:#staload LIBXML2_xml0 = "./SATS/xml0.sats"
./npm-utils/contrib/atscntrb/atscntrb-hx-libxml2/libxml/mylibies.hats-//
./npm-utils/contrib/atscntrb/atscntrb-hx-libxml2/libxml/mylibies.hats:#staload LIBXML2_tree = "./SATS/tree.sats"
./npm-utils/contrib/atscntrb/atscntrb-hx-libxml2/libxml/mylibies.hats:#staload LIBXML2_xpath = "./SATS/xpath.sats"
./npm-utils/contrib/atscntrb/atscntrb-hx-libxml2/libxml/mylibies.hats:#staload LIBXML2_parser = "./SATS/parser.sats"
./npm-utils/contrib/atscntrb/atscntrb-hx-libxml2/libxml/mylibies.hats:#staload LIBXML2_HTMLparser = "./SATS/HTMLparser.sats"
./npm-utils/contrib/atscntrb/atscntrb-hx-libxml2/libxml/mylibies.hats-
./npm-utils/contrib/atscntrb/atscntrb-hx-libxml2/libxml/mylibies.hats-(* ****** ****** *)
--
./npm-utils/contrib/atscntrb/atscntrb-hx-libxml2/libxml/mylibies.hats:#staload _(*LIBXML2_xml0*) = "./DATS/xml0.dats"
./npm-utils/contrib/atscntrb/atscntrb-hx-libxml2/libxml/mylibies.hats-
./npm-utils/contrib/atscntrb/atscntrb-hx-libxml2/libxml/mylibies.hats-(* ****** ****** *)
--
./npm-utils/contrib/libats-/hwxi/jsonats/mylibies.hats:staload
./npm-utils/contrib/libats-/hwxi/jsonats/mylibies.hats-JSONATS = "./SATS/jsonats.sats"
./npm-utils/contrib/libats-/hwxi/jsonats/mylibies.hats-//
./npm-utils/contrib/libats-/hwxi/jsonats/mylibies.hats:staload
./npm-utils/contrib/libats-/hwxi/jsonats/mylibies.hats-_(*JSONATS*) = "./DATS/jsonats.dats"
./npm-utils/contrib/libats-/hwxi/jsonats/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/find_cli/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/find_cli/mylibies.hats-FindCli = "./DATS/find_cli.dats"
./npm-utils/contrib/libats-/hwxi/find_cli/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/fileAsLock/mylibies.hats:// For downstream staloading
./npm-utils/contrib/libats-/hwxi/fileAsLock/mylibies.hats-//
./npm-utils/contrib/libats-/hwxi/fileAsLock/mylibies.hats-// Generic workshop
--
./npm-utils/contrib/libats-/hwxi/fileAsLock/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/fileAsLock/mylibies.hats-FILEASLOCK = "./DATS/fileAsLock.dats"
./npm-utils/contrib/libats-/hwxi/fileAsLock/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/fworkshop/mylibies.hats:// For downstream staloading
./npm-utils/contrib/libats-/hwxi/fworkshop/mylibies.hats-//
./npm-utils/contrib/libats-/hwxi/fworkshop/mylibies.hats-// Generic workshop
--
./npm-utils/contrib/libats-/hwxi/fworkshop/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/fworkshop/mylibies.hats-FWORKSHOP = "./DATS/fworkshop.dats"
./npm-utils/contrib/libats-/hwxi/fworkshop/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/fworkshop/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/fworkshop/mylibies.hats-FWORKSHOP_chanlst = "./DATS/fworkshop_chanlst.dats"
./npm-utils/contrib/libats-/hwxi/fworkshop/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/fworkshop/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/fworkshop/mylibies.hats-FWORKSHOP_channel = "./DATS/fworkshop_channel.dats"
./npm-utils/contrib/libats-/hwxi/fworkshop/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/parcomb/mylibies.hats:#staload PARCOMB = "./SATS/parcomb.sats"
./npm-utils/contrib/libats-/hwxi/parcomb/mylibies.hats:#staload _(*PARCOMB*) = "./DATS/parcomb.dats"
./npm-utils/contrib/libats-/hwxi/parcomb/mylibies.hats-//
./npm-utils/contrib/libats-/hwxi/parcomb/mylibies.hats-(* ****** ****** *)
--
./npm-utils/contrib/libats-/hwxi/polyglot/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/polyglot/mylibies.hats-Filetype = "./DATS/filetype.dats"
./npm-utils/contrib/libats-/hwxi/polyglot/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/polyglot/mylibies.hats-Polyglot = "./DATS/polyglot.dats"
./npm-utils/contrib/libats-/hwxi/polyglot/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats:staload _ =
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats-"prelude/DATS/integer.dats"
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats:staload _ =
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats-"prelude/DATS/pointer.dats"
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats-//
--
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats:staload _ =
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats-"prelude/DATS/integer_long.dats"
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats:staload _ =
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats-"prelude/DATS/integer_size.dats"
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats:staload _ =
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats-"prelude/DATS/integer_short.dats"
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats:staload _ =
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats-"prelude/DATS/integer_fixed.dats"
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats-//
--
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats:staload _ = "prelude/DATS/bool.dats"
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats:staload _ = "prelude/DATS/char.dats"
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats:staload _ = "prelude/DATS/string.dats"
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats-
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats-(* ****** ****** *)
--
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats:staload _ = "prelude/DATS/array.dats"
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats:staload _ = "prelude/DATS/arrayptr.dats"
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats:staload _ = "prelude/DATS/arrayref.dats"
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats-
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats-(* ****** ****** *)
--
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats:staload UNSAFE = "prelude/SATS/unsafe.sats"
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats:staload _(*UNSAFE*) = "prelude/DATS/unsafe.dats"
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats-
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats-(* ****** ****** *)
--
./npm-utils/contrib/libats-/hwxi/kernelats/prelude/staloadall.hats:(* end of [staloadall.hats] *)
--
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats:#staload _ =
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-"libats/DATS/deqarray.dats"
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats:#staload _ =
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-"libats/DATS/athread.dats"
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats:#staload _ =
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-"libats/DATS/athread_posix.dats"
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-SPINVAR = "./SATS/spinvar.sats"
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-SPINREF = "./SATS/spinref.sats"
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-//
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats:#staload _ = "./DATS/spinvar.dats"
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats:#staload _ = "./DATS/spinref.dats"
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-//
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-(* ****** ****** *)
--
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-NWAITER = "./SATS/nwaiter.sats"
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats:#staload _ = "./DATS/nwaiter.dats"
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-//
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-(* ****** ****** *)
--
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-CHANLST_t = "./SATS/chanlst_t.sats"
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats:#staload _ = "./DATS/chanlst_t.dats"
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-//
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-(* ****** ****** *)
--
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-CHANNEL_t = "./SATS/channel_t.sats"
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats:#staload _ = "./DATS/channel_t.dats"
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-//
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-CHANNEL_vt = "./SATS/channel_vt.sats"
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats:#staload _ = "./DATS/channel_vt.dats"
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-//
./npm-utils/contrib/libats-/hwxi/threadkit/mylibies.hats-(* ****** ****** *)
--
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-INTSET =
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-"./SATS/basis_intset.sats"
--
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-_(*INTSET*) =
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-"./DATS/basis_intset.dats"
--
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-SSNTYPE =
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-"./SATS/basis_ssntype.sats"
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-SSNTYPE2R =
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-"./SATS/basis_ssntype2r.sats"
--
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-UCHAN =
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-"./DATS/basis_uchan.dats"
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-CHANNEL0 =
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-"./DATS/basis_channel0.dats"
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-CHANNEL1 =
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-"./DATS/basis_channel1.dats"
--
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-_(*SSNTYPE2R*) =
./npm-utils/contrib/libats-/hwxi/mysession-g/mylibies.hats-"./DATS/basis_ssntype2r.dats"
--
./npm-utils/contrib/libats-/hwxi/teaching/mydraw/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mydraw/mylibies.hats-MYDRAW = "./SATS/mydraw.sats"
./npm-utils/contrib/libats-/hwxi/teaching/mydraw/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/teaching/mydraw/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mydraw/mylibies.hats-MYDRAW_cairo = "./SATS/mydraw_cairo.sats"
./npm-utils/contrib/libats-/hwxi/teaching/mydraw/mylibies.hats-#endif // #ifdef(MYDRAW_CAIRO)
--
./npm-utils/contrib/libats-/hwxi/teaching/mydraw/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mydraw/mylibies.hats-MYDRAW_canvas2d = "./SATS/mydraw_HTML5_canvas2d.sats"
./npm-utils/contrib/libats-/hwxi/teaching/mydraw/mylibies.hats-#endif // #ifdef(MYDRAW_CANVAS2D)
--
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-SPINVAR = "./SATS/spinvar.sats"
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-_(*SPINVAR*) = "./DATS/spinvar.dats"
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-SPINREF = "./SATS/spinref.sats"
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-_(*SPINREF*) = "./DATS/spinref.dats"
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-NWAITER = "./SATS/nwaiter.sats"
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-_(*NWAITER*) = "./DATS/nwaiter.dats"
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-CHANNEL = "./SATS/channel.sats"
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-_(*CHANNEL*) = "./DATS/channel.dats"
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-CHANNEL_vt = "./SATS/channel_vt.sats"
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-_(*CHANNEL_vt*) = "./DATS/channel_vt.dats"
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-WORKSHOP = "./SATS/workshop.sats"
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-_(*WORKSHOP*) = "./DATS/workshop.dats"
./npm-utils/contrib/libats-/hwxi/teaching/mythread/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/teaching/BUCS/mylibies.hats:// For downstream staloading
./npm-utils/contrib/libats-/hwxi/teaching/BUCS/mylibies.hats-//
./npm-utils/contrib/libats-/hwxi/teaching/BUCS/mylibies.hats-(* ****** ****** *)
--
./npm-utils/contrib/libats-/hwxi/teaching/BUCS/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/BUCS/mylibies.hats-BUCS320 = "./DATS/BUCS320.dats"
./npm-utils/contrib/libats-/hwxi/teaching/BUCS/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/teaching/BUCS/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/BUCS/mylibies.hats-BUCS520 = "./DATS/BUCS520.dats"
./npm-utils/contrib/libats-/hwxi/teaching/BUCS/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/teaching/BUCS/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/BUCS/mylibies.hats-BUCS520_2016_FALL = "./DATS/BUCS520-2016-Fall.dats"
./npm-utils/contrib/libats-/hwxi/teaching/BUCS/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/BUCS/mylibies.hats-BUCS520_2018_Spring = "./DATS/BUCS520-2018-Spring.dats"
./npm-utils/contrib/libats-/hwxi/teaching/BUCS/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/teaching/mydraw2/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mydraw2/mylibies.hats-MYDRAW2 = "./DATS/mydraw2.dats"
./npm-utils/contrib/libats-/hwxi/teaching/mydraw2/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/teaching/mydraw2/mylibies.hats-MYDRAW2_meta = "./DATS/mydraw2_meta.dats"
./npm-utils/contrib/libats-/hwxi/teaching/mydraw2/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/weboxy/mydepies.hats:// For upstream staloading
./npm-utils/contrib/libats-/hwxi/weboxy/mydepies.hats-//
./npm-utils/contrib/libats-/hwxi/weboxy/mydepies.hats-(* ****** ****** *)
--
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies.hats:// For downstream staloading
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies.hats-//
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies.hats-(* ****** ****** *)
--
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies.hats-OpenSCAD = "./SATS/OpenSCAD.sats"
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies.hats-OpenSCAD_util = "./SATS/OpenSCAD_util.sats"
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies.hats-OpenSCAD_meta = "./SATS/OpenSCAD_meta.sats"
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies.hats-//
--
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies.hats:#staload
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies.hats-_(*OpenSCAD*) = "./DATS/OpenSCAD_main.dats"
./npm-utils/contrib/libats-/hwxi/OpenSCAD/mylibies.hats-//
--
./src/pats_staexp2_appenv.hats:staload "./pats_staexp2.sats"
./src/pats_staexp2_appenv.hats-
./src/pats_staexp2_appenv.hats-(* ****** ****** *)
--
./src/pats_intinf_int.hats:staload
./src/pats_intinf_int.hats-ATSPRE = "./pats_atspre.dats"
./src/pats_intinf_int.hats-//
--
./src/pats_intinf_int.hats:staload
./src/pats_intinf_int.hats-UN = "prelude/SATS/unsafe.sats"
./src/pats_intinf_int.hats-
--
./src/pats_intinf_int.hats:staload UT = "./pats_utils.sats"
./src/pats_intinf_int.hats:staload _(*anon*) = "./pats_utils.dats"
./src/pats_intinf_int.hats-
./src/pats_intinf_int.hats-(* ****** ****** *)
--
./src/pats_intinf_int.hats:staload "./pats_intinf.sats"
./src/pats_intinf_int.hats-
./src/pats_intinf_int.hats-(* ****** ****** *)
--
./src/pats_intinf_int.hats:staload
./src/pats_intinf_int.hats-STDLIB = "libc/SATS/stdlib.sats"
./src/pats_intinf_int.hats-
--
./src/pats_intinf_int.hats:staload
./src/pats_intinf_int.hats-"libats/SATS/funset_listord.sats"
./src/pats_intinf_int.hats:staload _(*anon*) =
./src/pats_intinf_int.hats-"libats/DATS/funset_listord.dats"
./src/pats_intinf_int.hats-//
--
./src/pats_symmap_htlinprb.hats:staload UN = "prelude/SATS/unsafe.sats"
./src/pats_symmap_htlinprb.hats-
./src/pats_symmap_htlinprb.hats-(* ****** ****** *)
--
./src/pats_symmap_htlinprb.hats:staload "libats/SATS/hashtable_linprb.sats"
./src/pats_symmap_htlinprb.hats:staload _(*anon*) = "libats/DATS/hashtable_linprb.dats"
./src/pats_symmap_htlinprb.hats-
./src/pats_symmap_htlinprb.hats-(* ****** ****** *)
--
./src/pats_symmap_htlinprb.hats:staload "pats_symmap.sats"
./src/pats_symmap_htlinprb.hats-
./src/pats_symmap_htlinprb.hats-(* ****** ****** *)
--
./src/pats_symmap_avltree.hats:staload UN = "prelude/SATS/unsafe.sats"
./src/pats_symmap_avltree.hats-
./src/pats_symmap_avltree.hats-(* ****** ****** *)
--
./src/pats_symmap_avltree.hats:staload "libats/SATS/linmap_avltree.sats"
./src/pats_symmap_avltree.hats:staload _(*anon*) = "libats/DATS/linmap_avltree.dats"
./src/pats_symmap_avltree.hats-
./src/pats_symmap_avltree.hats-(* ****** ****** *)
--
./src/pats_symmap_avltree.hats:staload "pats_symmap.sats"
./src/pats_symmap_avltree.hats-
./src/pats_symmap_avltree.hats-(* ****** ****** *)
--
./src/pats_dynexp2_appenv.hats:staload "./pats_staexp2.sats"
./src/pats_dynexp2_appenv.hats:staload "./pats_dynexp2.sats"
./src/pats_dynexp2_appenv.hats-//
./src/pats_dynexp2_appenv.hats-(* ****** ****** *)
--
./src/pats_dynexp2_appenv.hats:| D2Cstaload _ => ()
./src/pats_dynexp2_appenv.hats:| D2Cstaloadloc _ => ()
./src/pats_dynexp2_appenv.hats-| D2Cdynload _ => ()
./src/pats_dynexp2_appenv.hats-//
--
./src/pats_constraint3_appenv.hats:staload "./pats_staexp2.sats"
./src/pats_constraint3_appenv.hats-
./src/pats_constraint3_appenv.hats-(* ****** ****** *)
--
./src/pats_constraint3_appenv.hats:staload "./pats_trans3_env.sats"
./src/pats_constraint3_appenv.hats:staload "./pats_constraint3.sats"
./src/pats_constraint3_appenv.hats-
./src/pats_constraint3_appenv.hats-(* ****** ****** *)
--
./src/pats_intinf_gmp.hats:staload
./src/pats_intinf_gmp.hats-ATSPRE = "./pats_atspre.dats"
./src/pats_intinf_gmp.hats-//
--
./src/pats_intinf_gmp.hats:staload
./src/pats_intinf_gmp.hats-UN = "prelude/SATS/unsafe.sats"
./src/pats_intinf_gmp.hats-
--
./src/pats_intinf_gmp.hats:staload UT = "./pats_utils.sats"
./src/pats_intinf_gmp.hats:staload _(*anon*) = "./pats_utils.dats"
./src/pats_intinf_gmp.hats-
./src/pats_intinf_gmp.hats-(* ****** ****** *)
--
./src/pats_intinf_gmp.hats:staload "libc/SATS/gmp.sats"
./src/pats_intinf_gmp.hats:staload "./pats_intinf.sats"
./src/pats_intinf_gmp.hats-
./src/pats_intinf_gmp.hats-(* ****** ****** *)
--
./src/pats_intinf_gmp.hats:staload
./src/pats_intinf_gmp.hats-"libats/SATS/funset_listord.sats"
./src/pats_intinf_gmp.hats:staload _(*anon*) =
./src/pats_intinf_gmp.hats-"libats/DATS/funset_listord.dats"
./src/pats_intinf_gmp.hats-//
--
./libats/ML/HATS/myfunset.hats:staload
./libats/ML/HATS/myfunset.hats-UN = "prelude/SATS/unsafe.sats"
./libats/ML/HATS/myfunset.hats-//
./libats/ML/HATS/myfunset.hats:staload "libats/ML/SATS/basis.sats"
./libats/ML/HATS/myfunset.hats:staload "libats/ML/SATS/list0.sats"
./libats/ML/HATS/myfunset.hats:staload "libats/ML/SATS/funset.sats"
./libats/ML/HATS/myfunset.hats-//
./libats/ML/HATS/myfunset.hats:staload _ = "libats/DATS/funset_avltree.dats"
./libats/ML/HATS/myfunset.hats-//
./libats/ML/HATS/myfunset.hats:staload _(*anon*) = "libats/ML/DATS/funset.dats"
./libats/ML/HATS/myfunset.hats-//
./libats/ML/HATS/myfunset.hats-//
--
./libats/ML/HATS/myhashtblref.hats:staload "libats/ML/SATS/basis.sats"
./libats/ML/HATS/myhashtblref.hats:staload "libats/ML/SATS/list0.sats"
./libats/ML/HATS/myhashtblref.hats:staload "libats/ML/SATS/hashtblref.sats"
./libats/ML/HATS/myhashtblref.hats-//
./libats/ML/HATS/myhashtblref.hats:staload _(*anon*) = "libats/DATS/qlist.dats"
./libats/ML/HATS/myhashtblref.hats-//
./libats/ML/HATS/myhashtblref.hats:staload _(*anon*) = "libats/DATS/hashfun.dats"
./libats/ML/HATS/myhashtblref.hats:staload _(*anon*) = "libats/DATS/linmap_list.dats"
./libats/ML/HATS/myhashtblref.hats:staload _(*anon*) = "libats/DATS/hashtbl_chain.dats"
./libats/ML/HATS/myhashtblref.hats:staload _(*anon*) = "libats/ML/DATS/hashtblref.dats"
./libats/ML/HATS/myhashtblref.hats-//
./libats/ML/HATS/myhashtblref.hats-assume
--
./libats/ML/HATS/myfunmap.hats:staload
./libats/ML/HATS/myfunmap.hats-UN = "prelude/SATS/unsafe.sats"
./libats/ML/HATS/myfunmap.hats-//
./libats/ML/HATS/myfunmap.hats:staload "libats/ML/SATS/basis.sats"
./libats/ML/HATS/myfunmap.hats:staload "libats/ML/SATS/list0.sats"
./libats/ML/HATS/myfunmap.hats:staload "libats/ML/SATS/funmap.sats"
./libats/ML/HATS/myfunmap.hats-//
./libats/ML/HATS/myfunmap.hats:staload _ = "libats/DATS/qlist.dats"
./libats/ML/HATS/myfunmap.hats-//
./libats/ML/HATS/myfunmap.hats:staload _ = "libats/DATS/funmap_avltree.dats"
./libats/ML/HATS/myfunmap.hats-//
./libats/ML/HATS/myfunmap.hats:staload _(*anon*) = "libats/ML/DATS/funmap.dats"
./libats/ML/HATS/myfunmap.hats-//
./libats/ML/HATS/myfunmap.hats-in (* in-of-local *)
--
./libats/ML/COMPILE/mylibies.hats:// For staloading
./libats/ML/COMPILE/mylibies.hats-// ATSLIB/libats/ML/COMPILE
./libats/ML/COMPILE/mylibies.hats-//
--
./libats/ML/COMPILE/mylibies.hats:#staload
./libats/ML/COMPILE/mylibies.hats-"libats/ML/COMPILE/DATS/array0.dats"
./libats/ML/COMPILE/mylibies.hats:#staload
./libats/ML/COMPILE/mylibies.hats-"libats/ML/COMPILE/DATS/string.dats"
./libats/ML/COMPILE/mylibies.hats-//
./libats/ML/COMPILE/mylibies.hats:#staload
./libats/ML/COMPILE/mylibies.hats-"libats/ML/COMPILE/DATS/funmap.dats"
./libats/ML/COMPILE/mylibies.hats:#staload
./libats/ML/COMPILE/mylibies.hats-"libats/ML/COMPILE/DATS/funarray.dats"
./libats/ML/COMPILE/mylibies.hats:#staload
./libats/ML/COMPILE/mylibies.hats-"libats/ML/COMPILE/DATS/hashtblref.dats"
./libats/ML/COMPILE/mylibies.hats-//
--
./libats/BUCS320/QuickSort/mylibies.hats:#staload
./libats/BUCS320/QuickSort/mylibies.hats-QuickSort_array =
./libats/BUCS320/QuickSort/mylibies.hats-"./DATS/QuickSort_array.dats"
--
./libats/BUCS320/GraphStreamize/mylibies.hats:#staload
./libats/BUCS320/GraphStreamize/mylibies.hats-GraphStreamize = "./DATS/GraphStreamize.dats"
./libats/BUCS320/GraphStreamize/mylibies.hats-//
--
./libats/BUCS320/GraphStreamize/mylibies.hats:#staload
./libats/BUCS320/GraphStreamize/mylibies.hats-GraphStreamize_bfs = "./DATS/GraphStreamize_bfs.dats"
./libats/BUCS320/GraphStreamize/mylibies.hats-#endif // #ifdef(GRAPHSTREAMIZE_BFS)
--
./libats/BUCS320/GraphStreamize/mylibies.hats:#staload
./libats/BUCS320/GraphStreamize/mylibies.hats-GraphStreamize_dfs = "./DATS/GraphStreamize_dfs.dats"
./libats/BUCS320/GraphStreamize/mylibies.hats-#endif // #ifdef(GRAPHSTREAMIZE_DFS)
--
./libats/BUCS320/DivideConquer/mylibies.hats:#staload
./libats/BUCS320/DivideConquer/mylibies.hats-DivideConquer =
./libats/BUCS320/DivideConquer/mylibies.hats-"./DATS/DivideConquer.dats"
--
./libats/BUCS320/DivideConquer/mylibies.hats:#staload
./libats/BUCS320/DivideConquer/mylibies.hats-DivideConquer_memo =
./libats/BUCS320/DivideConquer/mylibies.hats-"./DATS/DivideConquer_memo.dats"
--
./libats/BUCS320/DivideConquer/mylibies.hats:#staload
./libats/BUCS320/DivideConquer/mylibies.hats-DivideConquer_cont =
./libats/BUCS320/DivideConquer/mylibies.hats-"./DATS/DivideConquer_cont.dats"
--
./libats/BUCS320/GraphSearch/mylibies.hats:#staload
./libats/BUCS320/GraphSearch/mylibies.hats-GraphSearch =
./libats/BUCS320/GraphSearch/mylibies.hats-"./DATS/GraphSearch.dats"
--
./libats/BUCS320/GraphSearch/mylibies.hats:#staload
./libats/BUCS320/GraphSearch/mylibies.hats-GraphSearch_bfs =
./libats/BUCS320/GraphSearch/mylibies.hats-"./DATS/GraphSearch_bfs.dats"
--
./libats/BUCS320/GraphSearch/mylibies.hats:#staload
./libats/BUCS320/GraphSearch/mylibies.hats-GraphSearch_dfs =
./libats/BUCS320/GraphSearch/mylibies.hats-"./DATS/GraphSearch_dfs.dats"
--
./libats/BUCS320/StreamPar/mylibies.hats:#staload
./libats/BUCS320/StreamPar/mylibies.hats-StreamPar = "./DATS/StreamPar.dats"
./libats/BUCS320/StreamPar/mylibies.hats-//
--
./libats/BUCS320/MergeSortPar/mylibies.hats:#staload
./libats/BUCS320/MergeSortPar/mylibies.hats-MergeSortPar_list =
./libats/BUCS320/MergeSortPar/mylibies.hats-"./DATS/MergeSortPar_list.dats"
--
./libats/BUCS320/MergeSortPar/mylibies.hats:#staload
./libats/BUCS320/MergeSortPar/mylibies.hats-MergeSortPar_array =
./libats/BUCS320/MergeSortPar/mylibies.hats-"./DATS/MergeSortPar_array.dats"
--
./libats/BUCS320/DivideConquerPar/mylibies.hats:#staload
./libats/BUCS320/DivideConquerPar/mylibies.hats-DivideConquerPar =
./libats/BUCS320/DivideConquerPar/mylibies.hats-"./DATS/DivideConquerPar.dats"
--
./libats/BUCS320/QuickSortPar/mylibies.hats:#staload
./libats/BUCS320/QuickSortPar/mylibies.hats-QuickSortPar_array =
./libats/BUCS320/QuickSortPar/mylibies.hats-"./DATS/QuickSortPar_array.dats"
--
./libats/BUCS320/MergeSort/mylibies.hats:#staload
./libats/BUCS320/MergeSort/mylibies.hats-MergeSort_list =
./libats/BUCS320/MergeSort/mylibies.hats-"./DATS/MergeSort_list.dats"
--
./libats/BUCS320/MergeSort/mylibies.hats:#staload
./libats/BUCS320/MergeSort/mylibies.hats-MergeSort_array =
./libats/BUCS320/MergeSort/mylibies.hats-"./DATS/MergeSort_array.dats"
--
./libats/DATS/SHARE/funset.hats:staload Q =
./libats/DATS/SHARE/funset.hats-"libats/SATS/qlist.sats"
./libats/DATS/SHARE/funset.hats-//
--
./libats/DATS/SHARE/fundeque.hats:staload
./libats/DATS/SHARE/fundeque.hats-UN = "prelude/SATS/unsafe.sats"
./libats/DATS/SHARE/fundeque.hats-
--
./libats/DATS/SHARE/fundeque.hats:staload Q = "libats/SATS/qlist.sats"
./libats/DATS/SHARE/fundeque.hats-
./libats/DATS/SHARE/fundeque.hats-in (* in of [local] *)
--
./libats/DATS/SHARE/linmap.hats:staload Q =
./libats/DATS/SHARE/linmap.hats-"libats/SATS/qlist.sats"
./libats/DATS/SHARE/linmap.hats-//
--
./libats/DATS/SHARE/hashtbl.hats:staload Q = "libats/SATS/qlist.sats"
./libats/DATS/SHARE/hashtbl.hats-
./libats/DATS/SHARE/hashtbl.hats-in (* in of [local] *)
--
./libats/DATS/SHARE/funmap.hats:staload Q = "libats/SATS/qlist.sats"
./libats/DATS/SHARE/funmap.hats-
./libats/DATS/SHARE/funmap.hats-in (* in of [local] *)
--
./libats/DATS/SHARE/funralist.hats:staload
./libats/DATS/SHARE/funralist.hats-UN = "prelude/SATS/unsafe.sats"
./libats/DATS/SHARE/funralist.hats-
--
./libats/DATS/SHARE/funralist.hats:staload Q = "libats/SATS/qlist.sats"
./libats/DATS/SHARE/funralist.hats-
./libats/DATS/SHARE/funralist.hats-in (* in of [local] *)
--
./libats/BUCS520/DivideConquerLazy/mylibies.hats:#staload
./libats/BUCS520/DivideConquerLazy/mylibies.hats-DivideConquerLazy = "./DATS/DivideConquerLazy.dats"
./libats/BUCS520/DivideConquerLazy/mylibies.hats-//
--
./libats/BUCS520/GraphStreamize/mylibies.hats:#staload
./libats/BUCS520/GraphStreamize/mylibies.hats-GraphStreamize = "./DATS/GraphStreamize.dats"
./libats/BUCS520/GraphStreamize/mylibies.hats-//
--
./libats/BUCS520/GraphStreamize/mylibies.hats:#staload
./libats/BUCS520/GraphStreamize/mylibies.hats-GraphStreamize_bfs = "./DATS/GraphStreamize_bfs.dats"
./libats/BUCS520/GraphStreamize/mylibies.hats-#endif // #ifdef(GRAPHSTREAMIZE_BFS)
--
./libats/BUCS520/GraphStreamize/mylibies.hats:#staload
./libats/BUCS520/GraphStreamize/mylibies.hats-GraphStreamize_dfs = "./DATS/GraphStreamize_dfs.dats"
./libats/BUCS520/GraphStreamize/mylibies.hats-#endif // #ifdef(GRAPHSTREAMIZE_DFS)
--
./libats/BUCS520/DivideConquer/mylibies.hats:#staload
./libats/BUCS520/DivideConquer/mylibies.hats-DivideConquer =
./libats/BUCS520/DivideConquer/mylibies.hats-"./DATS/DivideConquer.dats"
--
./libats/BUCS520/StreamPar/mylibies.hats:#staload
./libats/BUCS520/StreamPar/mylibies.hats-StreamPar = "./DATS/StreamPar.dats"
./libats/BUCS520/StreamPar/mylibies.hats-//
--
./doc/EXAMPLE/EFFECTIVATS/DivideConquer/PackIt/mylibies.hats:#staload
./doc/EXAMPLE/EFFECTIVATS/DivideConquer/PackIt/mylibies.hats-DivideConquer =
./doc/EXAMPLE/EFFECTIVATS/DivideConquer/PackIt/mylibies.hats-"./DATS/DivideConquer.dats"
--
./doc/EXAMPLE/EFFECTIVATS/MYTEXT/mytextfun.hats:staload
./doc/EXAMPLE/EFFECTIVATS/MYTEXT/mytextfun.hats-"libatsdoc/SATS/libatsdoc_atext.sats"
./doc/EXAMPLE/EFFECTIVATS/MYTEXT/mytextfun.hats-//
--
./doc/EXAMPLE/EFFECTIVATS/MYTEXT/mytextfun.hats:staload
./doc/EXAMPLE/EFFECTIVATS/MYTEXT/mytextfun.hats-"utils/libatsynmark/SATS/libatsynmark.sats"
./doc/EXAMPLE/EFFECTIVATS/MYTEXT/mytextfun.hats-//
--
./utils/atexting/mylibies_link.hats:staload
./utils/atexting/mylibies_link.hats-"prelude/DATS/integer.dats"
./utils/atexting/mylibies_link.hats:staload
./utils/atexting/mylibies_link.hats-"prelude/DATS/filebas.dats"
./utils/atexting/mylibies_link.hats-//
--
./utils/atexting/mylibies_link.hats:staload
./utils/atexting/mylibies_link.hats-"libats/ML/SATS/basis.sats"
./utils/atexting/mylibies_link.hats-//
./utils/atexting/mylibies_link.hats:staload
./utils/atexting/mylibies_link.hats-"libats/libc/SATS/stdio.sats"
./utils/atexting/mylibies_link.hats-//
--
./utils/atexting/mylibies_link.hats:staload "./SATS/atexting.sats"
./utils/atexting/mylibies_link.hats-//
./utils/atexting/mylibies_link.hats-typedef
--
./utils/atexting/mylibies.hats:#staload
./utils/atexting/mylibies.hats-ATEXTING = "./SATS/atexting.sats"
./utils/atexting/mylibies.hats-//
--
./utils/atexting/mylibies.hats:#staload
./utils/atexting/mylibies.hats-ATEXTING_TEXTDEF = "./SATS/atexting_textdef.sats"
./utils/atexting/mylibies.hats-//
--
./utils/libatsrec/mylibies.hats:#staload
./utils/libatsrec/mylibies.hats-STRINGBUF =
./utils/libatsrec/mylibies.hats-"libats/SATS/stringbuf.sats"
./utils/libatsrec/mylibies.hats:#staload _(*anon*) =
./utils/libatsrec/mylibies.hats-"libats/DATS/stringbuf.dats"
./utils/libatsrec/mylibies.hats-//
--
./utils/libatsrec/mylibies.hats:#staload
./utils/libatsrec/mylibies.hats-LIBATSREC = "./SATS/libatsrec.sats"
./utils/libatsrec/mylibies.hats:#staload
./utils/libatsrec/mylibies.hats-_(*anon*) = "./DATS/libatsrec.dats"
./utils/libatsrec/mylibies.hats-//
--
./utils/myatscc/node_modules/atscntrb-hx-parcomb/mylibies.hats:#staload PARCOMB = "./SATS/parcomb.sats"
./utils/myatscc/node_modules/atscntrb-hx-parcomb/mylibies.hats:#staload _(*PARCOMB*) = "./DATS/parcomb.dats"
./utils/myatscc/node_modules/atscntrb-hx-parcomb/mylibies.hats-//
./utils/myatscc/node_modules/atscntrb-hx-parcomb/mylibies.hats-(* ****** ****** *)
--
./prelude/CATS/CODEGEN/prelude_CATS_atext.hats:staload
./prelude/CATS/CODEGEN/prelude_CATS_atext.hats-_(*anon*) = "prelude/DATS/list.dats"
./prelude/CATS/CODEGEN/prelude_CATS_atext.hats:staload
./prelude/CATS/CODEGEN/prelude_CATS_atext.hats-_(*anon*) = "prelude/DATS/list_vt.dats"
./prelude/CATS/CODEGEN/prelude_CATS_atext.hats-//
--
./prelude/SATS/CODEGEN/prelude_SATS_atext.hats:staload _(*anon*) = "prelude/DATS/list.dats"
./prelude/SATS/CODEGEN/prelude_SATS_atext.hats:staload _(*anon*) = "prelude/DATS/list_vt.dats"
./prelude/SATS/CODEGEN/prelude_SATS_atext.hats-
./prelude/SATS/CODEGEN/prelude_SATS_atext.hats-(* ****** ****** *)
--
./prelude/DATS/CODEGEN/prelude_DATS_atext.hats:staload
./prelude/DATS/CODEGEN/prelude_DATS_atext.hats-_(*anon*) = "prelude/DATS/list.dats"
./prelude/DATS/CODEGEN/prelude_DATS_atext.hats:staload
./prelude/DATS/CODEGEN/prelude_DATS_atext.hats-_(*anon*) = "prelude/DATS/list_vt.dats"
./prelude/DATS/CODEGEN/prelude_DATS_atext.hats-//
--
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./basics_py.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/basics.dats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/integer.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/bool.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/char.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/float.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/string.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/print.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/filebas.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/print.dats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/gprint.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/gprint.dats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/list.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/list.dats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/PYlist.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/PYlist.dats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/stream.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/stream.dats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/stream_vt.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/stream_vt.dats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/intrange.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/arrayref.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/matrixref.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/reference.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/slistref.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/qlistref.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/ML/list0.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload "./SATS/ML/array0.sats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/ML/list0.dats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/ML/array0.dats"
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats:(* end of [staloadall.hats] *)
./contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats-
--
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./basics_pl.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/integer.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/bool.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/float.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/string.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/print.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload _ = "./DATS/print.dats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/filebas.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/PLarray.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/list.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload _ = "./DATS/list.dats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/option.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload _ = "./DATS/option.dats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/stream.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/stream_vt.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload _ = "./DATS/stream.dats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload _ = "./DATS/stream_vt.dats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/intrange.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-(*
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload _(*anon*) = "./DATS/intrange.dats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-*)
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-//
--
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/reference.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/slistref.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/qlistref.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload "./SATS/ML/list0.sats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:staload _(*anon*) = "./DATS/ML/list0.dats"
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats:(* end of [staloadall.hats] *)
--
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload "./basics_scm.sats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload _ = "./DATS/basics.dats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload "./SATS/integer.sats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload "./SATS/bool.sats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload "./SATS/float.sats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload "./SATS/print.sats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload "./SATS/filebas.sats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload _(*anon*) = "./DATS/print.dats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload "./SATS/list.sats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload "./SATS/SCMlist.sats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload "./SATS/stream.sats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload "./SATS/stream_vt.sats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload "./SATS/reference.sats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload _(*anon*) = "./DATS/list.dats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload _(*anon*) = "./DATS/SCMlist.dats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload _(*anon*) = "./DATS/stream.dats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload _(*anon*) = "./DATS/stream_vt.dats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload "./SATS/intrange.sats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-(*
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload _(*anon*) = "./DATS/intrange.dats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-*)
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-//
--
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload "./SATS/slistref.sats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload "./SATS/qlistref.sats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload "./SATS/ML/list0.sats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:staload _(*anon*) = "./DATS/ML/list0.dats"
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats:(* end of [staloadall.hats] *)
--
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./basics_php.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/integer.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/bool.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/float.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/string.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-_(*anon*) = "./DATS/basics.dats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-//
--
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/print.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/print.dats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/filebas.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/list.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/list.dats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/stream.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/stream.dats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/stream_vt.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/stream_vt.dats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/intrange.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/reference.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/PHPref.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/PHParray.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/PHParref.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/arrayref.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/matrixref.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/slistref.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/qlistref.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/ML/list0.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/ML/array0.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/ML/option0.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload "./SATS/ML/matrix0.sats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/ML/list0.dats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/ML/array0.dats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/ML/option0.dats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/ML/matrix0.dats"
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/staloadall.hats:(* end of [staloadall.hats] *)
--
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./basics_php.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-//
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/integer.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-//
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/bool.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/float.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/string.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-//
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-_(*anon*) = "./DATS/basics.dats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-//
--
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/print.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload _ = "./DATS/print.dats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-//
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/filebas.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-//
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/list.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload _ = "./DATS/list.dats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-//
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/stream.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload _ = "./DATS/stream.dats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-//
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/stream_vt.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload _ = "./DATS/stream_vt.dats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-//
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/intrange.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/reference.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-//
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/PHPref.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/PHParray.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/PHParref.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-//
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/arrayref.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/matrixref.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/slistref.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/qlistref.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-//
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/ML/list0.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/ML/array0.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/ML/option0.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload "./SATS/ML/matrix0.sats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-//
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload _ = "./DATS/ML/list0.dats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload _ = "./DATS/ML/array0.dats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload _ = "./DATS/ML/option0.dats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:#staload _ = "./DATS/ML/matrix0.dats"
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-//
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2php/ATS2-0.3.2/mylibies.hats:(* end of [staloadall.hats] *)
--
./contrib/libatscc2js/HTML/Canvas/mylibies.hats:#staload
./contrib/libatscc2js/HTML/Canvas/mylibies.hats-CANVAS2D = "./SATS/canvas2d.sats"
./contrib/libatscc2js/HTML/Canvas/mylibies.hats-//
--
./contrib/libatscc2js/HTML/DOM/mylibies.hats:#staload
./contrib/libatscc2js/HTML/DOM/mylibies.hats-DOCUMENT = "./SATS/document.sats"
./contrib/libatscc2js/HTML/DOM/mylibies.hats-//
--
./contrib/libatscc2js/WorkerSession/mylibies.hats:#staload
./contrib/libatscc2js/WorkerSession/mylibies.hats-CHANNEL = "./SATS/channel.sats"
./contrib/libatscc2js/WorkerSession/mylibies.hats-//
./contrib/libatscc2js/WorkerSession/mylibies.hats:#staload
./contrib/libatscc2js/WorkerSession/mylibies.hats-_(*CHANNEL*) = "./DATS/channel.dats"
./contrib/libatscc2js/WorkerSession/mylibies.hats-//
--
./contrib/libatscc2js/WorkerSession/mylibies.hats:#staload
./contrib/libatscc2js/WorkerSession/mylibies.hats-_(*CHANPOS*) = "./DATS/chanpos.dats"
./contrib/libatscc2js/WorkerSession/mylibies.hats-#endif // #if(WORKERSESSION_CHANPOS)
--
./contrib/libatscc2js/WorkerSession/mylibies.hats:#staload
./contrib/libatscc2js/WorkerSession/mylibies.hats-_(*CHANNEG*) = "./DATS/channeg.dats"
./contrib/libatscc2js/WorkerSession/mylibies.hats-#endif // #if(WORKERSESSION_CHANNEG)
--
./contrib/libatscc2js/Bacon.js/mylibies.hats:#staload
./contrib/libatscc2js/Bacon.js/mylibies.hats-BACONJS = "./SATS/baconjs.sats"
./contrib/libatscc2js/Bacon.js/mylibies.hats:#staload
./contrib/libatscc2js/Bacon.js/mylibies.hats-BACONJS_EXT = "./SATS/baconjs_ext.sats"
./contrib/libatscc2js/Bacon.js/mylibies.hats-//
--
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./basics_js.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/basics.dats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/integer.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/bool.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/char.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/float.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/string.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/gvalue.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/gprint.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/gprint.dats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/list.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/list.dats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/list_vt.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/list_vt.dats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/option.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/option.dats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/stream.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/stream.dats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/stream_vt.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload _ = "./DATS/stream_vt.dats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/JSarray.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/intrange.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/arrayref.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/matrixref.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/reference.sats"
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-"./SATS/JSLIBC/JSmisc.sats" // JS library
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-"./SATS/JSLIBC/JSmath.sats" // JS library
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-_(*anon*) =
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-"./DATS/JSLIBC/JSmath.dats" // JS library
--
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-"./SATS/JSLIBC/JSdate.sats" // JS library
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-//
--
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/slistref.sats" // list-based stack
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload "./SATS/qlistref.sats" // list-based queue
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-"./SATS/ML/list0.sats" // un-indexed list
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-"./SATS/ML/array0.sats" // un-indexed array
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-"./SATS/ML/option0.sats" // un-indexed option
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-"./SATS/ML/matrix0.sats" // un-indexed matrix
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-_(*anon*) = "./DATS/ML/list0.dats" // un-indexed list
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-_(*anon*) = "./DATS/ML/array0.dats" // un-indexed array
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-_(*anon*) = "./DATS/ML/option0.dats" // un-indexed option
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:#staload
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-_(*anon*) = "./DATS/ML/matrix0.dats" // un-indexed matrix
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats-//
--
./contrib/libatscc2js/ATS2-0.3.2/staloadall.hats:(* end of [staloadall.hats] *)
--
./contrib/libatscc2js/BUCS320/GraphStreamize/mylibies.hats:#staload
./contrib/libatscc2js/BUCS320/GraphStreamize/mylibies.hats-GraphStreamize_bfs = "./DATS/GraphStreamize_bfs.dats"
./contrib/libatscc2js/BUCS320/GraphStreamize/mylibies.hats-//
--
./contrib/libatscc2js/BUCS320/GraphStreamize/mylibies.hats:#staload
./contrib/libatscc2js/BUCS320/GraphStreamize/mylibies.hats-GraphStreamize_dfs = "./DATS/GraphStreamize_dfs.dats"
./contrib/libatscc2js/BUCS320/GraphStreamize/mylibies.hats-//
--
./contrib/libatscc2js/BUCS320/DivideConquer/mylibies.hats:#staload
./contrib/libatscc2js/BUCS320/DivideConquer/mylibies.hats-DivideConquer =
./contrib/libatscc2js/BUCS320/DivideConquer/mylibies.hats-"./DATS/DivideConquer.dats"
--
./contrib/libatscc2js/BUCS320/GraphSearch/mylibies.hats:#staload
./contrib/libatscc2js/BUCS320/GraphSearch/mylibies.hats-GraphSearch_bfs =
./contrib/libatscc2js/BUCS320/GraphSearch/mylibies.hats-"./DATS/GraphSearch_bfs.dats"
--
./contrib/libatscc2js/BUCS320/GraphSearch/mylibies.hats:#staload
./contrib/libatscc2js/BUCS320/GraphSearch/mylibies.hats-GraphSearch_dfs =
./contrib/libatscc2js/BUCS320/GraphSearch/mylibies.hats-"./DATS/GraphSearch_dfs.dats"
--
./contrib/libatscc2js/mylibies.hats:#staload "./basics_js.sats"
./contrib/libatscc2js/mylibies.hats:#staload _ = "./DATS/basics.dats"
./contrib/libatscc2js/mylibies.hats-//
./contrib/libatscc2js/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/integer.sats"
./contrib/libatscc2js/mylibies.hats-//
./contrib/libatscc2js/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/bool.sats"
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/char.sats"
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/float.sats"
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/string.sats"
./contrib/libatscc2js/mylibies.hats-//
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/gvalue.sats"
./contrib/libatscc2js/mylibies.hats-//
./contrib/libatscc2js/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/gprint.sats"
./contrib/libatscc2js/mylibies.hats:#staload _ = "./DATS/gprint.dats"
./contrib/libatscc2js/mylibies.hats-//
./contrib/libatscc2js/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/list.sats"
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/list_vt.sats"
./contrib/libatscc2js/mylibies.hats-//
./contrib/libatscc2js/mylibies.hats:#staload
./contrib/libatscc2js/mylibies.hats-_(*anon*) = "./DATS/list.dats"
./contrib/libatscc2js/mylibies.hats:#staload
./contrib/libatscc2js/mylibies.hats-_(*anon*) = "./DATS/list_vt.dats"
./contrib/libatscc2js/mylibies.hats-//
--
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/option.sats"
./contrib/libatscc2js/mylibies.hats:#staload _ = "./DATS/option.dats"
./contrib/libatscc2js/mylibies.hats-//
./contrib/libatscc2js/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/stream.sats"
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/stream_vt.sats"
./contrib/libatscc2js/mylibies.hats-//
./contrib/libatscc2js/mylibies.hats:#staload
./contrib/libatscc2js/mylibies.hats-_(*anon*) = "./DATS/stream.dats"
./contrib/libatscc2js/mylibies.hats:#staload
./contrib/libatscc2js/mylibies.hats-_(*anon*) = "./DATS/stream_vt.dats"
./contrib/libatscc2js/mylibies.hats-//
--
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/JSarray.sats"
./contrib/libatscc2js/mylibies.hats-//
./contrib/libatscc2js/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/intrange.sats"
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/arrayref.sats"
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/matrixref.sats"
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/reference.sats"
./contrib/libatscc2js/mylibies.hats-//
./contrib/libatscc2js/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2js/mylibies.hats:#staload // for xmldocs
./contrib/libatscc2js/mylibies.hats-"./SATS/xmldoc.sats" // used by Ajax
./contrib/libatscc2js/mylibies.hats-//
--
./contrib/libatscc2js/mylibies.hats:#staload
./contrib/libatscc2js/mylibies.hats-"./SATS/JSLIBC/JSmisc.sats" // JS library
./contrib/libatscc2js/mylibies.hats-//
./contrib/libatscc2js/mylibies.hats:#staload
./contrib/libatscc2js/mylibies.hats-"./SATS/JSLIBC/JSmath.sats" // JS library
./contrib/libatscc2js/mylibies.hats:#staload
./contrib/libatscc2js/mylibies.hats-_(*anon*) =
./contrib/libatscc2js/mylibies.hats-"./DATS/JSLIBC/JSmath.dats" // JS library
--
./contrib/libatscc2js/mylibies.hats:#staload
./contrib/libatscc2js/mylibies.hats-"./SATS/JSLIBC/JSdate.sats" // JS library
./contrib/libatscc2js/mylibies.hats-//
--
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/slistref.sats" // list-based stack
./contrib/libatscc2js/mylibies.hats:#staload "./SATS/qlistref.sats" // list-based queue
./contrib/libatscc2js/mylibies.hats-//
./contrib/libatscc2js/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2js/mylibies.hats:#staload
./contrib/libatscc2js/mylibies.hats-"./SATS/ML/list0.sats" // un-indexed list
./contrib/libatscc2js/mylibies.hats:#staload
./contrib/libatscc2js/mylibies.hats-_(*anon*) = "./DATS/ML/list0.dats" // un-indexed list
./contrib/libatscc2js/mylibies.hats-//
./contrib/libatscc2js/mylibies.hats:#staload
./contrib/libatscc2js/mylibies.hats-"./SATS/ML/array0.sats" // un-indexed array
./contrib/libatscc2js/mylibies.hats:#staload
./contrib/libatscc2js/mylibies.hats-_(*anon*) = "./DATS/ML/array0.dats" // un-indexed array
./contrib/libatscc2js/mylibies.hats-//
--
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./basics_clj.sats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload _ = "./DATS/basics.dats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/integer.sats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/bool.sats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/float.sats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/print.sats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/filebas.sats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload _(*anon*) = "./DATS/print.dats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/gprint.sats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload _(*anon*) = "./DATS/gprint.dats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/intrange.sats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload _(*anon*) = "./DATS/intrange.dats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-*)
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-//
--
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/list.sats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/CLJlist.sats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/stream.sats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/stream_vt.sats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/intrange.sats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/reference.sats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload _(*anon*) = "./DATS/list.dats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload _(*anon*) = "./DATS/CLJlist.dats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload _(*anon*) = "./DATS/stream.dats"
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/slistref.sats" // list-based stack
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/qlistref.sats" // list-based queue
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload "./SATS/ML/list0.sats" // un-indexed list
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:staload _ = "./DATS/ML/list0.dats" // un-indexed list
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats:(* end of [staloadall.hats] *)
--
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats:staload "./basics_erl.sats"
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats:staload "./SATS/integer.sats"
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats:staload "./SATS/bool.sats"
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats:staload "./SATS/float.sats"
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats:staload "./SATS/print.sats"
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats:staload _ = "./DATS/print.dats"
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats:staload "./SATS/intrange.sats"
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats:staload _ = "./DATS/intrange.dats"
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats:staload "./SATS/list.sats"
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats:staload _ = "./DATS/list.dats"
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats:staload "./SATS/stream.sats"
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats:staload _ = "./DATS/stream.dats"
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-*)
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-//
--
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats:staload "./SATS/reference.sats"
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-//
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats-(* ****** ****** *)
--
./contrib/libatscc2erl/ATS2-0.3.2/staloadall.hats:(* end of [staloadall.hats] *)
--
./contrib/libatscc2r34/mylibies.hats:#staload "./basics_r34.sats"
./contrib/libatscc2r34/mylibies.hats-(*
./contrib/libatscc2r34/mylibies.hats:#staload _ = "./DATS/basics.dats"
./contrib/libatscc2r34/mylibies.hats-*)
./contrib/libatscc2r34/mylibies.hats-//
--
./contrib/libatscc2r34/mylibies.hats:#staload "./SATS/integer.sats"
./contrib/libatscc2r34/mylibies.hats-//
./contrib/libatscc2r34/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2r34/mylibies.hats:#staload "./SATS/bool.sats"
./contrib/libatscc2r34/mylibies.hats:#staload "./SATS/float.sats"
./contrib/libatscc2r34/mylibies.hats:#staload "./SATS/string.sats"
./contrib/libatscc2r34/mylibies.hats-//
./contrib/libatscc2r34/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2r34/mylibies.hats:#staload "./SATS/print.sats" // HX: printing to the console
./contrib/libatscc2r34/mylibies.hats-//
./contrib/libatscc2r34/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2r34/mylibies.hats:#staload "./SATS/list.sats"
./contrib/libatscc2r34/mylibies.hats:#staload _ = "./DATS/list.dats"
./contrib/libatscc2r34/mylibies.hats-//
./contrib/libatscc2r34/mylibies.hats:#staload "./SATS/list_vt.sats"
./contrib/libatscc2r34/mylibies.hats:#staload _ = "./DATS/list_vt.dats"
./contrib/libatscc2r34/mylibies.hats-//
./contrib/libatscc2r34/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2r34/mylibies.hats:#staload "./SATS/option.sats"
./contrib/libatscc2r34/mylibies.hats:#staload _ = "./DATS/option.dats"
./contrib/libatscc2r34/mylibies.hats-//
./contrib/libatscc2r34/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2r34/mylibies.hats:#staload "./SATS/stream.sats"
./contrib/libatscc2r34/mylibies.hats:#staload _ = "./DATS/stream.dats"
./contrib/libatscc2r34/mylibies.hats-//
./contrib/libatscc2r34/mylibies.hats:#staload "./SATS/stream_vt.sats"
./contrib/libatscc2r34/mylibies.hats:#staload _ = "./DATS/stream_vt.dats"
./contrib/libatscc2r34/mylibies.hats-//
./contrib/libatscc2r34/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2r34/mylibies.hats:#staload "./SATS/intrange.sats"
./contrib/libatscc2r34/mylibies.hats-
./contrib/libatscc2r34/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2r34/mylibies.hats:#staload "./SATS/R34factor.sats"
./contrib/libatscc2r34/mylibies.hats-(*
./contrib/libatscc2r34/mylibies.hats:#staload _ = "./DATS/R34factor.dats"
./contrib/libatscc2r34/mylibies.hats-*)
./contrib/libatscc2r34/mylibies.hats-//
--
./contrib/libatscc2r34/mylibies.hats:#staload "./SATS/R34vector.sats"
./contrib/libatscc2r34/mylibies.hats:#staload _ = "./DATS/R34vector.dats"
./contrib/libatscc2r34/mylibies.hats-//
./contrib/libatscc2r34/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2r34/mylibies.hats:#staload "./SATS/R34matrix.sats"
./contrib/libatscc2r34/mylibies.hats:#staload _ = "./DATS/R34matrix.dats"
./contrib/libatscc2r34/mylibies.hats-//
./contrib/libatscc2r34/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2r34/mylibies.hats:#staload "./SATS/R34dframe.sats"
./contrib/libatscc2r34/mylibies.hats:#staload _ = "./DATS/R34dframe.dats"
./contrib/libatscc2r34/mylibies.hats-//
./contrib/libatscc2r34/mylibies.hats-(* ****** ****** *)
--
./contrib/libatscc2r34/mylibies.hats:#staload
./contrib/libatscc2r34/mylibies.hats-"./SATS/ML/list0.sats" // un-indexed list
./contrib/libatscc2r34/mylibies.hats:#staload
./contrib/libatscc2r34/mylibies.hats-_(*anon*) = "./DATS/ML/list0.dats" // un-indexed list
./contrib/libatscc2r34/mylibies.hats-//
--
./contrib/ATS-extsolve-smt2/DATS/SOLVING/myheader.hats:#staload
./contrib/ATS-extsolve-smt2/DATS/SOLVING/myheader.hats-"{$PATSOLVE}/SATS/patsolve_cnstrnt.sats"
./contrib/ATS-extsolve-smt2/DATS/SOLVING/myheader.hats:#staload
./contrib/ATS-extsolve-smt2/DATS/SOLVING/myheader.hats-"{$PATSOLVE}/SATS/patsolve_parsing.sats"
./contrib/ATS-extsolve-smt2/DATS/SOLVING/myheader.hats-//
--
./contrib/ATS-extsolve-smt2/DATS/SOLVING/myheader.hats:#staload
./contrib/ATS-extsolve-smt2/DATS/SOLVING/myheader.hats-"./../../SATS/patsolve_smt2_solving.sats"
./contrib/ATS-extsolve-smt2/DATS/SOLVING/myheader.hats-//
--
./contrib/ats2cpp/prelude/staloadall.hats:staload _ =
./contrib/ats2cpp/prelude/staloadall.hats-"prelude/DATS/integer.dats"
./contrib/ats2cpp/prelude/staloadall.hats:staload _ =
./contrib/ats2cpp/prelude/staloadall.hats-"prelude/DATS/pointer.dats"
./contrib/ats2cpp/prelude/staloadall.hats-//
--
./contrib/ats2cpp/prelude/staloadall.hats:staload _ =
./contrib/ats2cpp/prelude/staloadall.hats-"prelude/DATS/integer_long.dats"
./contrib/ats2cpp/prelude/staloadall.hats:staload _ =
./contrib/ats2cpp/prelude/staloadall.hats-"prelude/DATS/integer_size.dats"
./contrib/ats2cpp/prelude/staloadall.hats:staload _ =
./contrib/ats2cpp/prelude/staloadall.hats-"prelude/DATS/integer_short.dats"
./contrib/ats2cpp/prelude/staloadall.hats:staload _ =
./contrib/ats2cpp/prelude/staloadall.hats-"prelude/DATS/integer_fixed.dats"
./contrib/ats2cpp/prelude/staloadall.hats-//
--
./contrib/ats2cpp/prelude/staloadall.hats:staload _ = "prelude/DATS/bool.dats"
./contrib/ats2cpp/prelude/staloadall.hats:staload _ = "prelude/DATS/char.dats"
./contrib/ats2cpp/prelude/staloadall.hats:staload _ = "prelude/DATS/float.dats"
./contrib/ats2cpp/prelude/staloadall.hats:staload _ = "prelude/DATS/string.dats"
./contrib/ats2cpp/prelude/staloadall.hats-
./contrib/ats2cpp/prelude/staloadall.hats-(* ****** ****** *)
--
./contrib/ats2cpp/prelude/staloadall.hats:staload _ = "prelude/DATS/array.dats"
./contrib/ats2cpp/prelude/staloadall.hats:staload _ = "prelude/DATS/arrayptr.dats"
./contrib/ats2cpp/prelude/staloadall.hats:staload _ = "prelude/DATS/arrayref.dats"
./contrib/ats2cpp/prelude/staloadall.hats-
./contrib/ats2cpp/prelude/staloadall.hats-(* ****** ****** *)
--
./contrib/ats2cpp/prelude/staloadall.hats:staload UNSAFE = "prelude/SATS/unsafe.sats"
./contrib/ats2cpp/prelude/staloadall.hats:staload _(*UNSAFE*) = "prelude/DATS/unsafe.dats"
./contrib/ats2cpp/prelude/staloadall.hats-
./contrib/ats2cpp/prelude/staloadall.hats-(* ****** ****** *)
--
./contrib/ats2cpp/prelude/staloadall.hats:(* end of [staloadall.hats] *)
--
./contrib/ATS-extsolve-z3/DATS/SOLVING/myheader.hats:#staload "{$SMT_LIBZ3}/SATS/z3.sats"
./contrib/ATS-extsolve-z3/DATS/SOLVING/myheader.hats-//
./contrib/ATS-extsolve-z3/DATS/SOLVING/myheader.hats-(* ****** ****** *)
--
./contrib/ATS-extsolve-z3/DATS/SOLVING/myheader.hats:#staload
./contrib/ATS-extsolve-z3/DATS/SOLVING/myheader.hats-"{$PATSOLVE}/SATS/patsolve_cnstrnt.sats"
./contrib/ATS-extsolve-z3/DATS/SOLVING/myheader.hats-//
--
./contrib/ATS-extsolve-z3/DATS/SOLVING/myheader.hats:#staload "./../../SATS/patsolve_z3_solving.sats"
./contrib/ATS-extsolve-z3/DATS/SOLVING/myheader.hats-//
./contrib/ATS-extsolve-z3/DATS/SOLVING/myheader.hats-(* ****** ****** *)
--
./contrib/CATS-parsemit/mylibies.hats:#staload
./contrib/CATS-parsemit/mylibies.hats-CATSPARSE = "./SATS/catsparse.sats"
./contrib/CATS-parsemit/mylibies.hats-
--
./contrib/CATS-parsemit/mylibies.hats:#staload
./contrib/CATS-parsemit/mylibies.hats-CATSPARSE_EMIT = "./SATS/catsparse_emit.sats"
./contrib/CATS-parsemit/mylibies.hats-
--
./contrib/CATS-parsemit/mylibies.hats:#staload
./contrib/CATS-parsemit/mylibies.hats-CATSPARSE_SYNTAX = "./SATS/catsparse_syntax.sats"
./contrib/CATS-parsemit/mylibies.hats:#staload
./contrib/CATS-parsemit/mylibies.hats-CATSPARSE_PARSING = "./SATS/catsparse_parsing.sats"
./contrib/CATS-parsemit/mylibies.hats-//
--
./contrib/CATS-parsemit/mylibies.hats:#staload
./contrib/CATS-parsemit/mylibies.hats-CATSPARSE_TYPEDEF = "./SATS/catsparse_typedef.sats"
./contrib/CATS-parsemit/mylibies.hats:#staload
./contrib/CATS-parsemit/mylibies.hats-CATSPARSE_FUNDECL = "./SATS/catsparse_fundecl.sats"
./contrib/CATS-parsemit/mylibies.hats-//
--
./contrib/atscntrb/atscntrb-hx-cstream/mylibies.hats:// For downstream staloading
./contrib/atscntrb/atscntrb-hx-cstream/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-cstream/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-cstream/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-cstream/mylibies.hats-CSTREAM = "./SATS/cstream.sats"
./contrib/atscntrb/atscntrb-hx-cstream/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-cstream/mylibies.hats-CSTOKENER = "./SATS/cstream_tokener.sats"
./contrib/atscntrb/atscntrb-hx-cstream/mylibies.hats-//
--
./contrib/atscntrb/atscntrb-hx-cstream/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-cstream/mylibies.hats-_(*CSTREAM*) = "./DATS/cstream.dats"
./contrib/atscntrb/atscntrb-hx-cstream/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-cstream/mylibies.hats-_(*TOKENER*) = "./DATS/cstream_tokener.dats"
./contrib/atscntrb/atscntrb-hx-cstream/mylibies.hats-//
--
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies.hats:// For downstream staloading
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies.hats-HIREDIS = "./SATS/hiredis.sats"
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies.hats-HIREDIS_ML = "./SATS/hiredis_ML.sats"
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies.hats-//
--
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies.hats-_(*HIREDIS*) = "./DATS/hiredis.dats"
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies.hats-_(*HIREDIS_ML*) = "./DATS/hiredis_ML.dats"
./contrib/atscntrb/atscntrb-hx-libhiredis/mylibies.hats-//
--
./contrib/atscntrb/atscntrb-hx-sdstring/mylibies.hats:// For downstream staloading
./contrib/atscntrb/atscntrb-hx-sdstring/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-sdstring/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-sdstring/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-sdstring/mylibies.hats-SDSTRING = "./SATS/sdstring.sats"
./contrib/atscntrb/atscntrb-hx-sdstring/mylibies.hats-//
--
./contrib/atscntrb/atscntrb-hx-sdstring/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-sdstring/mylibies.hats-_(*SDSTRING*) = "./DATS/sdstring.dats"
./contrib/atscntrb/atscntrb-hx-sdstring/mylibies.hats-//
--
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies.hats:// For downstream staloading
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies.hats:#staload PCRE = "./SATS/pcre.sats"
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies.hats:#staload PCRE_ML = "./SATS/pcre_ML.sats"
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies.hats:#staload _(*PCRE*) = "./DATS/pcre.dats"
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies.hats:#staload _(*PCRE_ML*) = "./DATS/pcre_ML.dats"
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libpcre/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-libjansson/mylibies.hats:// For downstream staloading
./contrib/atscntrb/atscntrb-hx-libjansson/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libjansson/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-libjansson/mylibies.hats:#staload JANSSON = "./SATS/jansson.sats"
./contrib/atscntrb/atscntrb-hx-libjansson/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libjansson/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-libjansson/mylibies.hats:#staload _(*JANSSON*) = "./DATS/jansson.dats"
./contrib/atscntrb/atscntrb-hx-libjansson/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libjansson/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_chain.hats:staload
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_chain.hats-UNSAFE = "prelude/SATS/unsafe.sats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_chain.hats-//
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_chain.hats:staload "libats/SATS/hashtbl_chain.sats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_chain.hats-//
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_chain.hats:staload _ = "libats/DATS/hashfun.dats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_chain.hats-//
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_chain.hats:staload _ = "libats/DATS/qlist.dats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_chain.hats:staload _ = "libats/DATS/linmap_list.dats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_chain.hats:staload _ = "libats/DATS/hashtbl_chain.dats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_chain.hats-//
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_chain.hats-val
--
./contrib/atscntrb/atscntrb-hx-globals/HATS/gdeqarray.hats:staload
./contrib/atscntrb/atscntrb-hx-globals/HATS/gdeqarray.hats-UN = "prelude/SATS/unsafe.sats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/gdeqarray.hats-//
./contrib/atscntrb/atscntrb-hx-globals/HATS/gdeqarray.hats:staload "libats/SATS/deqarray.sats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/gdeqarray.hats:staload _ = "libats/DATS/deqarray.dats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/gdeqarray.hats-//
./contrib/atscntrb/atscntrb-hx-globals/HATS/gdeqarray.hats-#define
--
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_linprb.hats:staload
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_linprb.hats-UNSAFE = "prelude/SATS/unsafe.sats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_linprb.hats-//
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_linprb.hats:staload "libats/SATS/hashtbl_linprb.sats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_linprb.hats-//
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_linprb.hats:staload _ = "libats/DATS/hashfun.dats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_linprb.hats-//
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_linprb.hats:staload _ = "libats/DATS/qlist.dats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_linprb.hats:staload _ = "libats/DATS/hashtbl_linprb.dats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_linprb.hats-//
./contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_linprb.hats-val
--
./contrib/atscntrb/atscntrb-hx-globals/HATS/gstacklst.hats:"share/atspre_staload.hats"
./contrib/atscntrb/atscntrb-hx-globals/HATS/gstacklst.hats-//
./contrib/atscntrb/atscntrb-hx-globals/HATS/gstacklst.hats-vtypedef TS = List0_vt(T)
--
./contrib/atscntrb/atscntrb-hx-libcurl/mylibies.hats:// For downstream staloading
./contrib/atscntrb/atscntrb-hx-libcurl/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libcurl/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-libcurl/mylibies.hats:#staload CURL = "./SATS/curl.sats"
./contrib/atscntrb/atscntrb-hx-libcurl/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libcurl/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-libcurl/mylibies.hats:#staload _(*CURL*) = "./DATS/curl.dats"
./contrib/atscntrb/atscntrb-hx-libcurl/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libcurl/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-mytesting/mylibies.hats:// For downstream staloading
./contrib/atscntrb/atscntrb-hx-mytesting/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-mytesting/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-mytesting/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-mytesting/mylibies.hats-TIMING = "./SATS/timing.sats"
./contrib/atscntrb/atscntrb-hx-mytesting/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-mytesting/mylibies.hats-RANDGEN = "./SATS/randgen.sats"
./contrib/atscntrb/atscntrb-hx-mytesting/mylibies.hats-//
--
./contrib/atscntrb/atscntrb-hx-mytesting/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-mytesting/mylibies.hats-_(*TIMING*) = "./DATS/timing.dats"
./contrib/atscntrb/atscntrb-hx-mytesting/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-mytesting/mylibies.hats-_(*RANDGEN*) = "./DATS/randgen.dats"
./contrib/atscntrb/atscntrb-hx-mytesting/mylibies.hats-//
--
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats:// For downstream staloading
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats-INTINF = "./SATS/intinf.sats"
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats-INTINF_t = "./SATS/intinf_t.sats"
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats-INTINF_vt = "./SATS/intinf_vt.sats"
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats-//
--
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats-_(*INTINF_t*) = "./DATS/intinf_t.dats"
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats-_(*INTINF_vt*) = "./DATS/intinf_vt.dats"
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats:#staload GINTINF_t = "./DATS/gintinf_t.dats"
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-intinf/mydepies.hats:#staload
./contrib/atscntrb/atscntrb-hx-intinf/mydepies.hats-GMP = "{$LIBGMP}/SATS/gmp.sats"
./contrib/atscntrb/atscntrb-hx-intinf/mydepies.hats-//
--
./contrib/atscntrb/atscntrb-hx-libjson-c/mylibies.hats:// For downstream staloading
./contrib/atscntrb/atscntrb-hx-libjson-c/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libjson-c/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-libjson-c/mylibies.hats:#staload JSON = "./SATS/json.sats"
./contrib/atscntrb/atscntrb-hx-libjson-c/mylibies.hats:#staload JSON_ML = "./SATS/json_ML.sats"
./contrib/atscntrb/atscntrb-hx-libjson-c/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libjson-c/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-libjson-c/mylibies.hats:#staload _(*JSON*) = "./DATS/json.dats"
./contrib/atscntrb/atscntrb-hx-libjson-c/mylibies.hats:#staload _(*JSON_ML*) = "./DATS/json_ML.dats"
./contrib/atscntrb/atscntrb-hx-libjson-c/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libjson-c/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-getargs/mylibies.hats:// For downstream staloading
./contrib/atscntrb/atscntrb-hx-getargs/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-getargs/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-getargs/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-getargs/mylibies.hats-GETARGS = "./SATS/getargs.sats"
./contrib/atscntrb/atscntrb-hx-getargs/mylibies.hats-//
--
./contrib/atscntrb/atscntrb-hx-getargs/mylibies.hats:#staload
./contrib/atscntrb/atscntrb-hx-getargs/mylibies.hats-_(*GETARGS*) = "./DATS/getargs.dats"
./contrib/atscntrb/atscntrb-hx-getargs/mylibies.hats-//
--
./contrib/atscntrb/atscntrb-hx-libgmp/mylibies.hats:// For downstream staloading
./contrib/atscntrb/atscntrb-hx-libgmp/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libgmp/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-libgmp/mylibies.hats:#staload GMP = "./SATS/gmp.sats"
./contrib/atscntrb/atscntrb-hx-libgmp/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libgmp/mylibies.hats-(* ****** ****** *)
--
./contrib/atscntrb/atscntrb-hx-libgmp/mylibies.hats:#staload _(*GMP*) = "./DATS/gmp.dats"
./contrib/atscntrb/atscntrb-hx-libgmp/mylibies.hats-//
./contrib/atscntrb/atscntrb-hx-libgmp/mylibies.hats-(* ****** ****** *)
--
./share/atspre_staload.hats:** This is just for staloading
./share/atspre_staload.hats-** template code in ATSLIB/prelude
./share/atspre_staload.hats-*)
--
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/basics.dats"
./share/atspre_staload.hats-//
./share/atspre_staload.hats-(* ****** ****** *)
--
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/integer.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/pointer.dats"
./share/atspre_staload.hats-//
./share/atspre_staload.hats-(* ****** ****** *)
--
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/integer_long.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/integer_size.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/integer_short.dats"
./share/atspre_staload.hats-//
./share/atspre_staload.hats-(* ****** ****** *)
--
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/char.dats"
./share/atspre_staload.hats-//
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/bool.dats"
./share/atspre_staload.hats-//
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/float.dats"
./share/atspre_staload.hats-//
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/string.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/strptr.dats"
./share/atspre_staload.hats-//
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/integer_ptr.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/integer_fixed.dats"
./share/atspre_staload.hats-//
./share/atspre_staload.hats-(* ****** ****** *)
--
./share/atspre_staload.hats:#staload
./share/atspre_staload.hats-_(*TUPLE*) = "{$PATSPRE}/DATS/tuple.dats"
./share/atspre_staload.hats-//
--
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/memory.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/reference.dats"
./share/atspre_staload.hats-
./share/atspre_staload.hats-(* ****** ****** *)
--
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/filebas.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/intrange.dats"
./share/atspre_staload.hats-
./share/atspre_staload.hats-(* ****** ****** *)
--
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/gorder.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/gnumber.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/grandom.dats"
./share/atspre_staload.hats-
./share/atspre_staload.hats-(* ****** ****** *)
--
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/list.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/list_vt.dats"
./share/atspre_staload.hats-//
./share/atspre_staload.hats-(* ****** ****** *)
--
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/option.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/option_vt.dats"
./share/atspre_staload.hats-//
./share/atspre_staload.hats-(* ****** ****** *)
--
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/array.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/arrayptr.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/arrayref.dats"
./share/atspre_staload.hats-//
./share/atspre_staload.hats-(* ****** ****** *)
--
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/matrix.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/matrixptr.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/matrixref.dats"
./share/atspre_staload.hats-//
./share/atspre_staload.hats-(* ****** ****** *)
--
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/stream.dats"
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/stream_vt.dats"
./share/atspre_staload.hats-//
./share/atspre_staload.hats-(* ****** ****** *)
--
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/gprint.dats"
./share/atspre_staload.hats-//
./share/atspre_staload.hats:#staload _ = "{$PATSPRE}/DATS/tostring.dats"
./share/atspre_staload.hats-//
./share/atspre_staload.hats-(* ****** ****** *)
--
./share/atspre_staload.hats:#staload
./share/atspre_staload.hats-UNSAFE = "{$PATSPRE}/SATS/unsafe.sats"
./share/atspre_staload.hats:#staload
./share/atspre_staload.hats-_(*UNSAFE*) = "{$PATSPRE}/DATS/unsafe.dats"
./share/atspre_staload.hats-//
--
./share/atspre_staload.hats:#staload
./share/atspre_staload.hats-_(*CHECKAST*) = "{$PATSPRE}/DATS/checkast.dats"
./share/atspre_staload.hats-
--
./share/atspre_staload.hats:(* end of [atspre_staload.hats] *)
--
./share/HATS/atspre_staload_prelude.hats:** This is just for staloading
./share/HATS/atspre_staload_prelude.hats-** template code in ATSLIB/prelude
./share/HATS/atspre_staload_prelude.hats-*)
--
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/basics.dats"
./share/HATS/atspre_staload_prelude.hats-//
./share/HATS/atspre_staload_prelude.hats-(* ****** ****** *)
--
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/integer.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/pointer.dats"
./share/HATS/atspre_staload_prelude.hats-//
./share/HATS/atspre_staload_prelude.hats-(* ****** ****** *)
--
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/integer_long.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/integer_size.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/integer_short.dats"
./share/HATS/atspre_staload_prelude.hats-//
./share/HATS/atspre_staload_prelude.hats-(* ****** ****** *)
--
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/char.dats"
./share/HATS/atspre_staload_prelude.hats-//
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/bool.dats"
./share/HATS/atspre_staload_prelude.hats-//
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/float.dats"
./share/HATS/atspre_staload_prelude.hats-//
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/string.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/strptr.dats"
./share/HATS/atspre_staload_prelude.hats-//
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/integer_ptr.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/integer_fixed.dats"
./share/HATS/atspre_staload_prelude.hats-//
./share/HATS/atspre_staload_prelude.hats-(* ****** ****** *)
--
./share/HATS/atspre_staload_prelude.hats:#staload
./share/HATS/atspre_staload_prelude.hats-_(*TUPLE*) = "{$PATSPRE}/DATS/tuple.dats"
./share/HATS/atspre_staload_prelude.hats-//
--
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/memory.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/reference.dats"
./share/HATS/atspre_staload_prelude.hats-
./share/HATS/atspre_staload_prelude.hats-(* ****** ****** *)
--
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/filebas.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/intrange.dats"
./share/HATS/atspre_staload_prelude.hats-
./share/HATS/atspre_staload_prelude.hats-(* ****** ****** *)
--
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/gorder.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/gnumber.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/grandom.dats"
./share/HATS/atspre_staload_prelude.hats-
./share/HATS/atspre_staload_prelude.hats-(* ****** ****** *)
--
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/list.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/list_vt.dats"
./share/HATS/atspre_staload_prelude.hats-//
./share/HATS/atspre_staload_prelude.hats-(* ****** ****** *)
--
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/option.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/option_vt.dats"
./share/HATS/atspre_staload_prelude.hats-//
./share/HATS/atspre_staload_prelude.hats-(* ****** ****** *)
--
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/array.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/arrayptr.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/arrayref.dats"
./share/HATS/atspre_staload_prelude.hats-//
./share/HATS/atspre_staload_prelude.hats-(* ****** ****** *)
--
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/matrix.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/matrixptr.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/matrixref.dats"
./share/HATS/atspre_staload_prelude.hats-//
./share/HATS/atspre_staload_prelude.hats-(* ****** ****** *)
--
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/stream.dats"
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/stream_vt.dats"
./share/HATS/atspre_staload_prelude.hats-//
./share/HATS/atspre_staload_prelude.hats-(* ****** ****** *)
--
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/gprint.dats"
./share/HATS/atspre_staload_prelude.hats-//
./share/HATS/atspre_staload_prelude.hats:#staload _ = "{$PATSPRE}/DATS/tostring.dats"
./share/HATS/atspre_staload_prelude.hats-//
./share/HATS/atspre_staload_prelude.hats-(* ****** ****** *)
--
./share/HATS/atspre_staload_prelude.hats:#staload
./share/HATS/atspre_staload_prelude.hats-UNSAFE = "{$PATSPRE}/SATS/unsafe.sats"
./share/HATS/atspre_staload_prelude.hats:#staload
./share/HATS/atspre_staload_prelude.hats-_(*UNSAFE*) = "{$PATSPRE}/DATS/unsafe.dats"
./share/HATS/atspre_staload_prelude.hats-//
--
./share/HATS/atspre_staload_prelude.hats:#staload
./share/HATS/atspre_staload_prelude.hats-_(*CHECKAST*) = "{$PATSPRE}/DATS/checkast.dats"
./share/HATS/atspre_staload_prelude.hats-
--
./share/HATS/atspre_staload_prelude.hats:(* end of [atspre_staload.hats] *)
--
./share/HATS/atspre_staload_libats_ML.hats:** staloading ATSLIB/libats/ML
./share/HATS/atspre_staload_libats_ML.hats-*)
./share/HATS/atspre_staload_libats_ML.hats-
--
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/basis.sats"
./share/HATS/atspre_staload_libats_ML.hats-//
--
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/atspre.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/atspre.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
--
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/string.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/strarr.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/string.dats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/strarr.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
--
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/list0.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/list0.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/list0_vt.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/list0_vt.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
--
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/option0.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/option0.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
--
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/array0.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/matrix0.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/array0.dats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/matrix0.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
--
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/stream.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/stream.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/stream_vt.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/stream_vt.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
--
./share/HATS/atspre_staload_libats_ML.hats:staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/argvec.sats"
./share/HATS/atspre_staload_libats_ML.hats-
--
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/gvalue.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/gvalue.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/filebas.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/filebas.dats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/filebas_dirent.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/intrange.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/intrange.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
--
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/stdlib.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/stdlib.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
--
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/funmap.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/funset.sats"
./share/HATS/atspre_staload_libats_ML.hats-//
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/funmap.dats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/funset.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATS}/DATS/funmap_avltree.dats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATS}/DATS/funset_avltree.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
--
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATS}/DATS/dynarray.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/dynarray.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/dynarray.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
--
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/qlistref.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/slistref.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/qlistref.dats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/slistref.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
--
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATS}/DATS/qlist.dats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATS}/DATS/hashfun.dats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATS}/DATS/linmap_list.dats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATS}/DATS/hashtbl_chain.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/hashtblref.sats"
./share/HATS/atspre_staload_libats_ML.hats:#staload _ =
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/hashtblref.dats"
./share/HATS/atspre_staload_libats_ML.hats-//
--
./share/HATS/atspre_staload_libats_ML.hats:// See ML/BOXED/staloadall.hats
./share/HATS/atspre_staload_libats_ML.hats-//
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/BOXED/funmap.dats"
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/BOXED/funarray.dats"
./share/HATS/atspre_staload_libats_ML.hats:#staload
./share/HATS/atspre_staload_libats_ML.hats-"{$LIBATSML}/BOXED/hashtblref.dats"
./share/HATS/atspre_staload_libats_ML.hats-*)
--
./share/HATS/atspre_staload_libats_ML.hats:(* end of [atslib_staload_libats_ML.hats] *)
--
./share/HATS/atslib_staload_libats_libc.hats:** For staloading
./share/HATS/atslib_staload_libats_libc.hats-** some commonly used libc packages
./share/HATS/atslib_staload_libats_libc.hats-*)
--
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-ERRNO =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/SATS/errno.sats"
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-_(*ERRNO*) =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/DATS/errno.dats"
--
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-DIRENT =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/SATS/dirent.sats"
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-_(*DIRENT*) =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/DATS/dirent.dats"
--
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-MATH =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/SATS/math.sats"
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-_(*MATH*) =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/DATS/math.dats"
--
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-FLOAT =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/SATS/float.sats"
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-_(*FLOAT*) =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/DATS/float.dats"
--
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-SIGNAL =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/SATS/signal.sats"
--
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-STDDEF =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/SATS/stddef.sats"
--
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-STDIO =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/SATS/stdio.sats"
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-_(*STDIO*) =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/DATS/stdio.dats"
--
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-STDLIB =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/SATS/stdlib.sats"
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-_(*STDLIB*) =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/DATS/stdlib.dats"
--
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-STRING =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/SATS/string.sats"
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-_(*STRING*) =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/DATS/string.dats"
--
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-STRINGS =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/SATS/strings.sats"
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-_(*STRINGS*) =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/DATS/strings.dats"
--
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-TIME =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/SATS/time.sats"
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-_(*TIME*) =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/DATS/time.dats"
--
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-UNISTD =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/SATS/unistd.sats"
./share/HATS/atslib_staload_libats_libc.hats:staload
./share/HATS/atslib_staload_libats_libc.hats-_(*UNISTD*) =
./share/HATS/atslib_staload_libats_libc.hats-"{$PATSLIBATS}/libc/DATS/unistd.dats"
--
./share/HATS/atslib_staload_libats_libc.hats:(* end of [atslib_staload_libats_libc.hats] *)
--
./share/atspre_staload_libats_ML.hats:** staloading ATSLIB/libats/ML
./share/atspre_staload_libats_ML.hats-*)
./share/atspre_staload_libats_ML.hats-
--
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/basis.sats"
./share/atspre_staload_libats_ML.hats-//
--
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/atspre.sats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/atspre.dats"
./share/atspre_staload_libats_ML.hats-//
--
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/string.sats"
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/strarr.sats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/string.dats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/strarr.dats"
./share/atspre_staload_libats_ML.hats-//
--
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/list0.sats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/list0.dats"
./share/atspre_staload_libats_ML.hats-//
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/list0_vt.sats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/list0_vt.dats"
./share/atspre_staload_libats_ML.hats-//
--
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/option0.sats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/option0.dats"
./share/atspre_staload_libats_ML.hats-//
--
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/array0.sats"
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/matrix0.sats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/array0.dats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/matrix0.dats"
./share/atspre_staload_libats_ML.hats-//
--
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/stream.sats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/stream.dats"
./share/atspre_staload_libats_ML.hats-//
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/stream_vt.sats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/stream_vt.dats"
./share/atspre_staload_libats_ML.hats-//
--
./share/atspre_staload_libats_ML.hats:staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/argvec.sats"
./share/atspre_staload_libats_ML.hats-
--
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/gvalue.sats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/gvalue.dats"
./share/atspre_staload_libats_ML.hats-//
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/filebas.sats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/filebas.dats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/filebas_dirent.dats"
./share/atspre_staload_libats_ML.hats-//
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/intrange.sats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/intrange.dats"
./share/atspre_staload_libats_ML.hats-//
--
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/stdlib.sats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/stdlib.dats"
./share/atspre_staload_libats_ML.hats-//
--
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/funmap.sats"
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/funset.sats"
./share/atspre_staload_libats_ML.hats-//
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/funmap.dats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/funset.dats"
./share/atspre_staload_libats_ML.hats-//
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATS}/DATS/funmap_avltree.dats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATS}/DATS/funset_avltree.dats"
./share/atspre_staload_libats_ML.hats-//
--
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATS}/DATS/dynarray.dats"
./share/atspre_staload_libats_ML.hats-//
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/dynarray.sats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/dynarray.dats"
./share/atspre_staload_libats_ML.hats-//
--
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/qlistref.sats"
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/slistref.sats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/qlistref.dats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/slistref.dats"
./share/atspre_staload_libats_ML.hats-//
--
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATS}/DATS/qlist.dats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATS}/DATS/hashfun.dats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATS}/DATS/linmap_list.dats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATS}/DATS/hashtbl_chain.dats"
./share/atspre_staload_libats_ML.hats-//
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/SATS/hashtblref.sats"
./share/atspre_staload_libats_ML.hats:#staload _ =
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/DATS/hashtblref.dats"
./share/atspre_staload_libats_ML.hats-//
--
./share/atspre_staload_libats_ML.hats:// See ML/BOXED/staloadall.hats
./share/atspre_staload_libats_ML.hats-//
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/BOXED/funmap.dats"
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/BOXED/funarray.dats"
./share/atspre_staload_libats_ML.hats:#staload
./share/atspre_staload_libats_ML.hats-"{$LIBATSML}/BOXED/hashtblref.dats"
./share/atspre_staload_libats_ML.hats-*)
--
./share/atspre_staload_libats_ML.hats:(* end of [atslib_staload_libats_ML.hats] *)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment