Searched defs:eof (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/src/prekernel/
H A DCoding.sig15 val eof : unit reader value
H A DCoding.sml39 fun eof (si as (s,i)) = if i >= size s then SOME (si, ()) else NONE function
/seL4-l4v-master/HOL4/tools/Holmake/
H A DQFRead.sml67 fun eof () = !eofp function
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DFile.h110 bool eof(void) { function in class:File
/seL4-l4v-master/HOL4/tools/Holmake/poly/
H A DProcessMultiplexor.sml328 fun eof wj chan (cmds, wl) = function
/seL4-l4v-master/HOL4/tools/mllex/
H A Dmllex.sml399 exception eof exception
/seL4-l4v-master/HOL4/polyml/basis/
H A DPosix.sml405 val eof : int value
1458 val eof = SysWord.toInt(getConst 72) value

Completed in 79 milliseconds