let uri_of_pos pos = String.concat "#" [metadata_ns; pp_position pos]
*)
-let pp_sort = function
- | Cic.Prop -> "Prop"
- | Cic.Set -> "Set"
- | Cic.Type _ -> "Type"
- | Cic.CProp -> "CProp"
-
type t = [ `Int of int | `String of string | `Null ]
let columns_of_metadata ~about metadatas =
- let sort s = `String (pp_sort s) in
+ let sort s = `String (CicPp.ppsort s) in
let source = `String about in
let occurrence u = `String u in
List.fold_left
(List.append sort_cols s, List.append rel_cols r, List.append obj_cols o))
([], [], []) ind_metadata
+(*
let pp_columns ?(sep = "\n") (sort_cols, rel_cols, obj_cols) =
String.concat sep
([ "Sort" ] @ List.map Dbi.sdebug (sort_cols :> Dbi.sql_t list list) @
[ "Rel" ] @ List.map Dbi.sdebug (rel_cols :> Dbi.sql_t list list) @
[ "Obj" ] @ List.map Dbi.sdebug (obj_cols :> Dbi.sql_t list list))
+*)