//clika-runtime/io.clika.runtime/StreamingDecoder/push

push

[common]
fun push(id: Int): String

Append one generated id; the newly stable text, possibly empty.