We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b392d0f commit b82053bCopy full SHA for b82053b
src/top/zarith_top.mli
@@ -0,0 +1,8 @@
1
+(*
2
+ This file is part of the Zarith library
3
+ http://forge.ocamlcore.org/projects/zarith .
4
+ It is distributed under LGPL 2 licensing, with static linking exception.
5
+ See the LICENSE file included in the distribution.
6
+*)
7
+
8
+(* This interface is deliberately empty *)
0 commit comments