From b82053bc18657d671959c7616f456fb79c33eab7 Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Wed, 19 Jul 2023 11:04:37 +0200 Subject: [PATCH] empty interface of toplevel lib --- src/top/zarith_top.mli | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 src/top/zarith_top.mli diff --git a/src/top/zarith_top.mli b/src/top/zarith_top.mli new file mode 100644 index 0000000..73fead3 --- /dev/null +++ b/src/top/zarith_top.mli @@ -0,0 +1,8 @@ +(* + This file is part of the Zarith library + http://forge.ocamlcore.org/projects/zarith . + It is distributed under LGPL 2 licensing, with static linking exception. + See the LICENSE file included in the distribution. +*) + +(* This interface is deliberately empty *)