├── .github └── workflows │ └── main.yml ├── .gitignore ├── .ocamlformat ├── CHANGES.md ├── LICENSE ├── README.md ├── dune ├── dune-project ├── lib ├── abt.ml ├── abt.mli └── dune ├── notes.org ├── test ├── abt_gen.ml ├── dune ├── example │ ├── dune │ └── example.ml └── test.ml └── um-abt.opam /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | _build 2 | _opam 3 | -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/.ocamlformat -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/README.md -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/dune-project -------------------------------------------------------------------------------- /lib/abt.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/lib/abt.ml -------------------------------------------------------------------------------- /lib/abt.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/lib/abt.mli -------------------------------------------------------------------------------- /lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/lib/dune -------------------------------------------------------------------------------- /notes.org: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/notes.org -------------------------------------------------------------------------------- /test/abt_gen.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/test/abt_gen.ml -------------------------------------------------------------------------------- /test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/test/dune -------------------------------------------------------------------------------- /test/example/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/test/example/dune -------------------------------------------------------------------------------- /test/example/example.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/test/example/example.ml -------------------------------------------------------------------------------- /test/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/test/test.ml -------------------------------------------------------------------------------- /um-abt.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/shonfeder/um-abt/HEAD/um-abt.opam --------------------------------------------------------------------------------