ref: 3a49659e6d6d1d0289b7b0501eb03f23d48e828f
dir: /libstd/slpush.myr/
use "types.use"
use "alloc.use"
use "fmt.use"
pkg std =
generic slpush : (sl : @a[:], elt : @a -> @a[:])
;;
generic slpush = {sl, elt
sl = slgrow(sl, sl.len + 1)
sl[sl.len - 1] = elt
-> sl
}