<position-type>

Type

Summary

A type representing positions in a stream.

Equivalent

type-union(<stream-position>, <integer>)

Supertypes

None.

Init-keywords

None.

Library

io

Module

streams

Description

A type used to represent a position in a stream. In practice, positions within a stream are defined as instances of <integer>, but this type, together with the
<stream-position> class, allows for cases where this might not be possible.

See also

<stream-position>, page 99

---

System and I/O Reference - 31 MAR 2000