/seL4-l4v-master/HOL4/tools/Holmake/tests/recursiveclean/ |
H A D | selftest.sml | 11 val strm = TextIO.openIn p value
|
/seL4-l4v-master/HOL4/src/1/ |
H A D | DiskThms.sml | 42 val strm = TextIO.openIn fname value
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | holdeptool.sml | 16 val strm = TextIO.openIn f value
|
H A D | Holmake_types.sml | 387 val strm = TextIO.openIn Holmake_tools.kernelid_fname value
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | Bool.sml | 41 val strm = StringCvt.skipWS getc str value [all...] |
H A D | BasicStreamIO.sml | 475 val strm = value
|
/seL4-l4v-master/HOL4/src/TeX/ |
H A D | AssembleHolindexParser.sml | 49 val strm = TextIO.openIn fname value
|
/seL4-l4v-master/HOL4/tools/Holmake/poly/ |
H A D | genscriptdep.sml | 34 val strm = if ok then TextIO.stdOut else TextIO.stdErr value
|
H A D | MB_Monitor.sml | 219 val strm = TextIO.openOut (genLogFile{tag = tag, dir = dir}) value [all...] |
/seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/ |
H A D | AssembleHolfootParser.sml | 57 val strm = TextIO.openIn fname value
|
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | HOLsexp_parser.sml | 35 val strm = TextIO.openIn fname value
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Stream.sml | 226 fun strm () = function
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Stream.sml | 226 fun strm () = function
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | winbasicio.cpp | 577 WinStream *strm = *(WinStream**)(stream->WordP()); local 610 WinStream *strm = *(WinStream**)(stream->WordP()); local 646 WinStream *strm = *(WinStream**)(stream->WordP()); local 664 WinStream *strm = *(WinStream**)(stream->WordP()); local 702 WinStream *strm = *(WinStream**)(strmVec->Get(i).AsObjPtr()); local 1014 IO_dispatch_c(TaskData *taskData, Handle args, Handle strm, Handle code) argument 1335 PolyBasicIOGeneral(FirstArgument threadId, PolyWord code, PolyWord strm, PolyWord arg) argument 1360 PolyTestForInput(FirstArgument threadId, PolyWord strm, PolyWord waitMillisecs) argument 1383 PolyTestForOutput(FirstArgument threadId, PolyWord strm, PolyWord waitMillisecs) argument [all...] |
H A D | basicio.cpp | 200 int getStreamFileDescriptorWithoutCheck(PolyWord strm) argument 207 int getStreamFileDescriptor(TaskData *taskData, PolyWord strm) argument 750 static Handle IO_dispatch_c(TaskData *taskData, Handle args, Handle strm, Handle code) argument 1066 PolyBasicIOGeneral(FirstArgument threadId, PolyWord code, PolyWord strm, PolyWord arg) argument [all...] |
H A D | network.cpp | 603 static SOCKET getStreamSocket(TaskData *taskData, PolyWord strm) argument 624 static SOCKET getStreamSocket(TaskData *taskData, PolyWord strm) argument 1894 POLYUNSIGNED PolyNetworkCloseSocket(FirstArgument threadId, PolyWord strm) argument
|
/seL4-l4v-master/HOL4/tools/ |
H A D | buildutils.sml | 270 val strm = TextIO.openOut Holmake_tools.kernelid_fname value
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/x64/model/ |
H A D | x64.sml | 4192 val strm = ref [] value [all...] |