← Back to AILP Home

Standard Input

Reading from stdin

string:line = raw stdin_read_line();    // read one line
string:all = raw stdin_read_all();      // read until EOF

Both return Result<string>.

Related