read
io.Read_Handler.read
Postcondition
post debug: (result ? s Sequence => !s.is_empty && s.count<=max_count | * => true)
debug 10 : (result ? s Sequence => s.is_array_backed | * => true)0.095dev (GIT hash 09dff08de289bbb6f7136c7e2f8c66dcc1856bba)
returns either an array of the bytes read, end_of_file or an error