+(* val disambiguate_list :
+ context:'context ->
+ metasenv:'metasenv ->
+ subst:'subst ->
+ use_coercions:bool ->
+ expty:'refined_thing option ->
+ env:GrafiteAst.alias_spec DisambiguateTypes.Environment.t ->
+ uri:'uri ->
+ interpretate_thing:(context:'context ->
+ env:GrafiteAst.alias_spec DisambiguateTypes.Environment.t ->
+ uri:'uri ->
+ is_path:bool ->
+ 'ast_thing -> localization_tbl:'cic_hash -> 'raw_thing) ->
+ refine_thing:('metasenv -> 'subst -> 'context -> 'uri ->
+ use_coercions:bool -> 'raw_thing -> 'refined_thing option ->
+ 'ugraph -> localization_tbl:'cic_hash ->
+ ('refined_thing, 'metasenv, 'subst, 'ugraph) test_result) ->
+ ugraph:'ugraph ->
+ visit:((NotationPt.term -> bool) -> 'ast_thing ->
+ ((NotationPt.term -> 'ast_thing) * NotationPt.term) option) ->
+ universe:GrafiteAst.alias_spec list DisambiguateTypes.Environment.t ->
+ mk_localization_tbl:(int -> 'cic_hash) ->
+ 'ast_thing list -> ('ast_thing * 'ast_thing list) option
+*)
+
+(* val initialize_ast : unit *)
+