- ((DisambiguateTypes.Environment.key * 'alias) list *
- 'metasenv * 'subst * 'refined_thing * 'ugraph)
- list * bool
+ ('ast_thing * 'metasenv * 'subst * 'refined_thing * 'ugraph) list * bool
+
+val bfvisit :
+ pp_term:(NotationPt.term -> string) ->
+ (NotationPt.term -> bool) ->
+ NotationPt.term -> ((NotationPt.term -> NotationPt.term) * NotationPt.term) option
+
+val bfvisit_obj :
+ pp_term:(NotationPt.term -> string) ->
+ (NotationPt.term -> bool) ->
+ NotationPt.term NotationPt.obj -> ((NotationPt.term -> NotationPt.term NotationPt.obj) * NotationPt.term) option