-Hashtbl.add symbol_table "cic:/Coq/Init/Logic/ex.ind#xpointer(1/1)"
- (fun aid sid args ast_of_acic ->
- match (List.tl args) with
- [Cic.ALambda (_,n,s,t)] ->
- idref aid
- (CicAst.Binder (`Exists, (n, Some (ast_of_acic s)), ast_of_acic t))
- | _ -> raise Not_found);;
-Hashtbl.add symbol_table "cic:/Coq/Init/Logic_Type/exT.ind#xpointer(1/1)"