From 121a6a376209de3f5a9474bf03721e2032a73e01 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 13 May 2024 11:00:47 -0500 Subject: initial commit --- test/dune | 2 ++ test/test_apbox.ml | 0 2 files changed, 2 insertions(+) create mode 100644 test/dune create mode 100644 test/test_apbox.ml (limited to 'test') diff --git a/test/dune b/test/dune new file mode 100644 index 0000000..d392dd2 --- /dev/null +++ b/test/dune @@ -0,0 +1,2 @@ +(test + (name test_apbox)) diff --git a/test/test_apbox.ml b/test/test_apbox.ml new file mode 100644 index 0000000..e69de29 -- cgit v1.2.3