(CicPp.ppsort sort) (String.concat ";" (List.map pp_position p))
| `Rel p -> sprintf "Rel [%s]" (String.concat ";" (List.map pp_position p))
| `Obj (uri, p) -> sprintf "Obj %s; [%s]"
(CicPp.ppsort sort) (String.concat ";" (List.map pp_position p))
| `Rel p -> sprintf "Rel [%s]" (String.concat ";" (List.map pp_position p))
| `Obj (uri, p) -> sprintf "Obj %s; [%s]"