let iter f space = Ihmap.iter (fun id idx -> let name = match idx with | Base -> fst id | Idx k -> Printf.sprintf "%s_%d" (fst id) k | Link s -> s in f id name) space.indices