pub type InputReader = fn() -> Vec<u8>;Expand description
A host’s process-input reader: the UTF-8 bytes of the input buffer.
Called at most once, from the first read a program evaluates. Its whole
obligation is bytes — however many the host has, including none. What becomes
of them, and why a zero-byte answer is still an input buffer, is stated once
at praxis_get_input (ADR-087).
A plain fn and not a closure: it is stored across the ABI boundary and
called from generated code’s stack, so it carries no captured state and no
lifetime. A host that needs state puts it in its own thread-local, which is
what praxis-cli does.