Module `Console_ring`

module Ring : Ring.Bidirectional_byte_stream