This library is in flux. APIs may change without notice. Generated from source with koruc 0.1.7 on 9/16/2026.
List.push
~import std/list.pushKoru Standard Library: the `push` part of list.kz.
list.push.kz · 2 tors
Koru Standard Library: the `push` part of list.kz.
Joined via `~part push` in list.kz; merged into the list module at load.
container's constructor mints alongside it (see the synthesis section).
The unified overload-by-container dispatch is the post-milestone gap
(660_026 red pin), not this rung's surface.
Phantom lifecycles
Derived from the phantom labels in the declarations below — state! issues an
obligation the compiler will chase, !state discharges it, a bare state holds it without moving it. Nothing here is hand-drawn.
List_i64 carries the label <list> with no obligation attached — a dimension, not a lifecycle.
// Koru Standard Library: the `push` part of list.kz.
// Joined via `~part push` in list.kz; merged into the list module at load.
//
// container's constructor mints alongside it (see the synthesis section).
// The unified overload-by-container dispatch is the post-milestone gap
// (660_026 red pin), not this rung's surface.
~[comptime|transform] pub tor push {
invocation: *const Invocation,
item: std/compiler:*const Item,
program: std/compiler:*const Program,
allocator: std.mem.Allocator
} -> SiteResult~pub tor push-i64 { xs: *List_i64<list>, v: i64 }