\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
-val locations: unit -> int
+type mark
-val new_location: unit -> int
+val marks: unit -> int
-val new_mark: unit -> Entity.attr
+val new_mark: unit -> mark
+
+val to_string: mark -> string