def push

bend-collections@1.0.0.0 · src/containers/stack.bend:16

import Base

16def push(~T: Data, s: Stack<T>, x: T) -> Stack<T>:
17  ST{xs, n} = s
18  ST{Con{x, xs}, 1n+n}