Searched defs:stdin (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dholdeptool.sml14 val stdin = (TextIO.stdIn, "<stdin>", (fn () => ())) value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig218 val stdin : instream value
H A DPortable.sml592 val stdin = TextIO.stdIn value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DPosix.sml202 val stdin : file_desc value
1046 val stdin : file_desc = RunCall.unsafeCast 0 value

Completed in 74 milliseconds