From 3ca2af08f068eb1edf638b8ef602b816823873e0 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Thu, 23 Apr 2015 14:49:12 +0200
Subject: Give a name to the type of atoms.

---
 lib/Camlcoq.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'lib')

diff --git a/lib/Camlcoq.ml b/lib/Camlcoq.ml
index dd896367..68c095f0 100644
--- a/lib/Camlcoq.ml
+++ b/lib/Camlcoq.ml
@@ -281,8 +281,10 @@ let coqint_of_camlint64 : int64 -> Integers.Int64.int = Z.of_uint64
 
 (* Atoms (positive integers representing strings) *)
 
-let atom_of_string = (Hashtbl.create 17 : (string, positive) Hashtbl.t)
-let string_of_atom = (Hashtbl.create 17 : (positive, string) Hashtbl.t)
+type atom = positive
+
+let atom_of_string = (Hashtbl.create 17 : (string, atom) Hashtbl.t)
+let string_of_atom = (Hashtbl.create 17 : (atom, string) Hashtbl.t)
 let next_atom = ref Coq_xH
 
 let intern_string s =
-- 
cgit