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