# type: ignore
NotFin  # unused function (hoa/ast/acceptance.py:77)
NotInf  # unused function (hoa/ast/acceptance.py:94)
_.__and__  # unused attribute (hoa/ast/boolean_expression.py:174)
_.__or__  # unused attribute (hoa/ast/boolean_expression.py:176)
_.__invert__  # unused attribute (hoa/ast/boolean_expression.py:178)
dump  # unused function (hoa/dumpers.py:36)
INT  # unused variable (hoa/parsers.py:75)
STRING  # unused variable (hoa/parsers.py:76)
IDENTIFIER  # unused variable (hoa/parsers.py:77)
_.BOOLEAN  # unused method (hoa/parsers.py:80)
_.start  # unused method (hoa/parsers.py:89)
_.automaton  # unused method (hoa/parsers.py:93)
_.header_item  # unused method (hoa/parsers.py:176)
_.num_states  # unused method (hoa/parsers.py:180)
_.start_state  # unused method (hoa/parsers.py:184)
_.acc_name  # unused method (hoa/parsers.py:220)
_.state_name  # unused method (hoa/parsers.py:254)
_.label_expr  # unused method (hoa/parsers.py:301)
_.or_label_expr  # unused method (hoa/parsers.py:305)
_.and_label_expr  # unused method (hoa/parsers.py:309)
_.not_label_expr  # unused method (hoa/parsers.py:313)
_.alias_label_expr  # unused method (hoa/parsers.py:317)
_.atom_label_expr  # unused method (hoa/parsers.py:323)
_.boolean_label_expr  # unused method (hoa/parsers.py:327)
_.acceptance_cond  # unused method (hoa/parsers.py:337)
_.atom_acceptance_cond  # unused method (hoa/parsers.py:341)
_.not_acceptance_cond  # unused method (hoa/parsers.py:347)
_.and_acceptance_cond  # unused method (hoa/parsers.py:353)
_.or_acceptance_cond  # unused method (hoa/parsers.py:357)
_.boolean_acceptance_cond  # unused method (hoa/parsers.py:361)
