invalid-stream-read-unsafe-return ( out-len in-len buf port word -- * )


Vocabulary
tools.annotations.assertions

Definition