Name:token - read a token from a stream or string
Synopsis:
string token -> post any true
false
istream token -> istream any true
istream false
Examples:
(1 2 hello) token -> true 1 (2 hello)
({1 2 add}) token -> true {1 2 add} ()
Description:
reads a token from a string or stream and
pushes true and extracted token plus rest-string/stream
on the stack (if successful).
Author:
docu by Markus Diesmann and Sirko Straube
SeeAlso:
Source:/opt/conda/conda-bld/nest_1510212701067/work/nest-2.14.0/lib/sli/typeinit.sli