diff options
Diffstat (limited to 'libs')
| -rw-r--r-- | libs/util.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/libs/util.ml b/libs/util.ml index 2150abc..cfa1619 100644 --- a/libs/util.ml +++ b/libs/util.ml @@ -17,4 +17,9 @@ let print_list x l = | [a] -> Format.printf "%s" a | p::q -> Format.printf "%s, " p; aux q in - Format.printf "["; aux l; Format.printf "]@."; + Format.printf "["; aux l; Format.printf "]@." + +let uid = + let c = ref 0 in + fun () -> c := !c + 1; string_of_int !c + |