def length
import bend-collections@1.0.0.0/src/containers/stack.bend as Stackimport Base
12def length(~T: Data, s: Stack<T>) -> Stack<T> & Nat:
13 ST{xs, +n} = s
14 (ST{xs, n}, n)
import bend-collections@1.0.0.0/src/containers/stack.bend as Stackimport Base
12def length(~T: Data, s: Stack<T>) -> Stack<T> & Nat:
13 ST{xs, +n} = s
14 (ST{xs, n}, n)