Array.set: def of Base Import: import Base Lines 2581-2582 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=2581&end_line=2582 import Base def Array.set(-T: Type, a: Array, i: U32, v: T) -> Array: Array.set.fin(T, Array.swap(T, a, i, v)) Uses (4): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.set.fin https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.swap https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32