Searched defs:consume (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/parse/
H A DParseDatatype.sml44 fun consume P (qb,s,locn) = let function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dparse_glob.sml80 fun consume v sb = SOME(v, advance sb) function
[all...]

Completed in 88 milliseconds