Function persistent_array_ty 

pub fn persistent_array_ty() -> Expr

PersistentArray α n : Type 0 — persistent immutable array.

Every update produces a new version while the old version remains accessible. Implemented via fat-node method or path copying.