Searched defs:getChar (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/HOL4/src/portableML/
H A DUTF8.sig10 val getChar : string -> ((string * int) * string) option value
H A DUTF8.sml57 fun getChar s = let function
[all...]
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DFile.h102 int getChar(void) { function in class:File
/seL4-l4v-master/HOL4/polyml/Tests/
H A DRunTests.sml27 fun getChar () : char option = function
/seL4-l4v-master/HOL4/polyml/basis/
H A DTopLevelPolyML.sml1618 fun getChar () = function
1700 fun getChar() = function
H A DFinalPolyML.sml708 fun getChar () : char option = function
1054 fun getChar () : char option = function

Completed in 42 milliseconds