module E = Entity
+let location = ref 0
+
(* interface functions ******************************************************)
-let new_location =
- let location = ref 0 in
- fun () -> incr location; !location
+let locations () = !location
+
+let new_location () =
+ incr location; !location
let new_mark () =
E.Mark (new_location ())