def Array.size

Base · base.bend:2451

2451def Array.size(-T: Type, a: Array<T>) -> Array<T> & U32:
2452  match a:
2453    case ALeaf{x}:
2454      (ALeaf{x}, 1)
2455    case ANode{xs, ys}:
2456      Array.size.node(T, ys, Array.size(T, xs))