- ((DisambiguateTypes.Environment.key * 'alias) list *
- 'metasenv * 'subst * 'refined_thing * 'ugraph)
- list * bool
+ (GrafiteAst.alias_spec,'ast_thing,'metasenv,'subst,'refined_thing,'ugraph) disamb_result
+
+type 'ast marked_ast =
+ (NotationPt.term -> 'ast) * NotationPt.term * Stdpp.location
+
+val bfvisit :
+ pp_term:(NotationPt.term -> string) ->
+ (NotationPt.term -> bool) ->
+ NotationPt.term -> (NotationPt.term marked_ast) option
+
+val bfvisit_obj :
+ pp_term:(NotationPt.term -> string) ->
+ (NotationPt.term -> bool) ->
+ NotationPt.term NotationPt.obj ->
+ ((NotationPt.term NotationPt.obj) marked_ast) option