Theorem: Regex.NFA.Node.inBounds.fail (Regex/NFA/Basic.lean)

State before:
size : Nat
⊢ Node.fail.inBounds size
Tactic:
simp [inBounds]
State after:
no goals