Searched defs:stdin (Results 1 - 4 of 4) sorted by last modified time

/seL4-l4v-master/HOL4/polyml/basis/
H A DPosix.sml200 val stdin : file_desc value
1048 val stdin = wordToFD 0w0 (* Must be persistent. *) value
/seL4-l4v-master/HOL4/src/portableML/
H A DPortable.sig227 val stdin : instream value
H A DPortable.sml612 val stdin = TextIO.stdIn value
/seL4-l4v-master/HOL4/tools/Holmake/
H A Dholdeptool.sml14 val stdin = (TextIO.stdIn, "<stdin>", (fn () => ())) value

Completed in 144 milliseconds