~/jendhub

def ezmcp.stdin

ezmcp@0.1.0.0 · src/io.bend:245

import ezmcp@0.1.0.0/src/io.bend as Io
import Base

245# up to `max` bytes from file descriptor 0, as one read(2) returns them;
246# empty at the end of input (MCP-TRUST-5)
247def ezmcp.stdin(max: U32) -> IO(Result<&1, &1, U32 & String, List<&2, U32>>):
248  import "./effs/stdin.c"
249  import "./effs/stdin.js"

Uses (6)

Used by (1)