Documentation
Init
.
Data
.
String
.
Stream
Search
return to top
source
Imports
Init.Data.Stream
Init.Data.String.Basic
Imported by
instStreamRawChar
source
@[instance_reducible]
instance
instStreamRawChar
:
Std.Stream
Substring.Raw
Char