Function arr_ext_persistent_set_ty 

pub fn arr_ext_persistent_set_ty() -> Expr

PersistentArray.set : {α : Type} → {n : Nat} → PersistentArray α n → Fin n → α → PersistentArray α n

Persistent array update: returns a new version with updated element at index i; original version is unaffected (path copying).