Module Owl_symbolic_namespace

val _global_name_counter : int Stdlib.ref
val generate_suffix : unit -> int