- ~disambiguate_tactic:(wrap (disambiguate_tactic text prefix_len lexicon_status_ref))
- ~disambiguate_command:(wrap
- (disambiguate_command
- (GrafiteTypes.get_estatus grafite_status) lexicon_status_ref))
- ~disambiguate_macro:(wrap (disambiguate_macro lexicon_status_ref))
- ?do_heavy_checks grafite_status (text,prefix_len,ast)
+ ~disambiguate_tactic:(disambiguate_tactic text prefix_len lexicon_status_ref)
+ ~disambiguate_command:(disambiguate_command lexicon_status_ref)
+ ~disambiguate_macro:(disambiguate_macro lexicon_status_ref)
+ ?do_heavy_checks status (text,prefix_len,ast)