open Printf
module Ast = NotationPt
-module Obj = LibraryObjects
let debug = false
let debug_print s = if debug then prerr_endline (Lazy.force s) else ()
let idref id t = Ast.AttributedTerm (`IdRef id, t)
+type cic_id = string
+
type term_info =
- { sort: (Cic.id, Ast.sort_kind) Hashtbl.t;
- uri: (Cic.id, UriManager.uri) Hashtbl.t;
+ { sort: (cic_id, Ast.sort_kind) Hashtbl.t;
+ uri: (cic_id, UriManager.uri) Hashtbl.t;
}
(* persistent state *)