-(* 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 *)
-