def Array.set.fin

Base · base.bend:2577

import Base
2577def Array.set.fin(-T: Type, r: Array<T> & T) -> Array<T>:
2578  (na, old) = r
2579  na

Uses (3)

Used by (22)