(** metadata -> string *)
val pp_position: MetadataTypes.position -> string
+val pp_position_tag: MetadataTypes.position -> string
+(* val pp_constr: MetadataTypes.constr -> string *)
val pp_sort: Cic.sort -> string
(** Pretty printer and OCamlDBI friendly interface *)