let name space ?(unique=false) id = match indice space unique id with | Base -> fst id | Idx k -> Printf.sprintf "%s_%d" (fst id) k | Link s -> s