def Array.size.node

Base · base.bend:2446

2446def Array.size.node(-T: Type, ys: Array<T>, r: Array<T> & U32) ->
2447  Array<T> & U32:
2448  (xs2, n) = r
2449  (ANode{xs2, ys}, U32.shl(n))