(** 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 *)
(string * string * MetadataTypes.metadata list) list ->
t list list * t list list * t list list
+(*
val pp_columns: ?sep:string -> t list list * t list list * t list list -> string
+*)