double ( stream byte -- stream char )

Vocabulary

io.encodings.utf8.private

Inputs

stream	an object
byte	an object

Outputs

stream	an object
char	an object

Definition

USING: math ;

IN: io.encodings.utf8.private

: double ( stream byte -- stream char )
    31 bitand append-nums 128 minimum-code-point ; inline