read
io.stdin.reader.read
(max_count i64)
=>
choice (Sequence u8) io.end_of_file error[Redefinition of io.buffered.Reader.read]
¶implementation of read for reading from stdin
Postcondition
Inherited from io.buffered.Reader.read
post debug: (result ? s Sequence => s.count<=max_count | * => true)
debug 10 : (result ? s Sequence => s.is_array_backed | * => true)0.099dev (GIT hash 9b94ad4b4a4bff2bf2be7d77be2c6e1fd7683c4d)