* http://helm.cs.unibo.it/
*)
+(** 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 *)
type t =