def small_alpha_vrachy_check()

in lean/scripts/lint_style.py [0:0]

• 6 lines of code
• 3 McCabe index (conditional complexity)

def small_alpha_vrachy_check(lines, path):
    errors = []
    for line_nr, line in skip_string(skip_comments(enumerate(lines, 1))):
        if 'ᾰ' in line:
            errors += [(ERR_SAV, line_nr, path)]
    return errors