let pp_id space fmt id = match indice space false id with | Base -> Format.pp_print_string fmt (fst id) | Idx k -> Format.fprintf fmt "%s_%d" (fst id) k | Link s -> Format.pp_print_string fmt s