in
let idref id t = Ast.AttributedTerm (`IdRef id, t) in
let rec aux =
-prerr_endline "Acic2ast.aux";
function
| Cic.ARel (id,_,_,b) -> idref id (Ast.Ident (b, None))
| Cic.AVar (id,uri,subst) ->
context
in
- let res = aux acic, ids_to_uris in
-prerr_endline "/Acic2ast.aux";
- res
+ aux acic, ids_to_uris
let _ = (** fill symbol_table *)
let add_symbol name uri =