rw [hsize]
n : Nat
arr : Array (Option (DefaultClause n))
hsize✝ : (ofArray arr).assignments.size = n
assignments : Array Assignment
hsize : assignments.size = n
i : PosFin n
b : Bool
⊢ i.val < assignments.size
n : Nat
arr : Array (Option (DefaultClause n))
hsize✝ : (ofArray arr).assignments.size = n
assignments : Array Assignment
hsize : assignments.size = n
i : PosFin n
b : Bool
⊢ i.val < n