Permalink
Browse files

Added an Int module with dummy utility functions.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15956 85f007b7-540e-0410-9357-904b9bb8a0f7
  • Loading branch information...
1 parent 5d87bcb commit bafb198e539998a4a64b2045a7e85125890f196e ppedrot committed Nov 8, 2012
Showing with 37 additions and 0 deletions.
  1. +1 −0 checker/check.mllib
  2. +2 −0 dev/printers.mllib
  3. +1 −0 grammar/grammar.mllib
  4. +1 −0 lib/clib.mllib
  5. +15 −0 lib/int.ml
  6. +17 −0 lib/int.mli
View
@@ -1,4 +1,5 @@
Coq_config
+Int
Pp_control
Flags
Pp
View
@@ -1,5 +1,6 @@
Coq_config
+Int
Pp_control
Loc
Compat
@@ -107,6 +108,7 @@ Pretyping
Declaremods
Tok
+Int
Lexer
Ppextend
Pputils
View
@@ -1,5 +1,6 @@
Coq_config
+Int
Pp_control
Flags
Pp
View
@@ -1,3 +1,4 @@
+Int
Pp_control
Pp
Coq_config
View
@@ -0,0 +1,15 @@
+(************************************************************************)
+(* v * The Coq Proof Assistant / The Coq Development Team *)
+(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
+(* \VV/ **************************************************************)
+(* // * This file is distributed under the terms of the *)
+(* * GNU Lesser General Public License Version 2.1 *)
+(************************************************************************)
+
+type t = int
+
+external equal : int -> int -> bool = "%eq"
+
+external compare : int -> int -> int = "caml_int_compare"
+
+let hash i = i land max_int
View
@@ -0,0 +1,17 @@
+(************************************************************************)
+(* v * The Coq Proof Assistant / The Coq Development Team *)
+(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012 *)
+(* \VV/ **************************************************************)
+(* // * This file is distributed under the terms of the *)
+(* * GNU Lesser General Public License Version 2.1 *)
+(************************************************************************)
+
+(** A native integer module with usual utility functions. *)
+
+type t = int
+
+external equal : t -> t -> bool = "%eq"
+
+external compare : t -> t -> int = "caml_int_compare"
+
+val hash : t -> int

0 comments on commit bafb198

Please sign in to comment.