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

/seL4-l4v-10.1.1/HOL4/src/compute/src/
H A DgroundEval.sml60 datatype cont = Conv of (convresult -> convresult) type
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A DregAlloc.sml674 val cont = dest value
[all...]
/seL4-l4v-10.1.1/HOL4/tools/Holmake/poly/
H A DBuildCommand.sml312 fun cont wn res = function
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DPosix.sml94 val cont : signal value
752 and cont = fromWord(getConst 58) value

Completed in 67 milliseconds