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

/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DFuture.sml293 val missing = ! max_workers - length (! workers); value
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dvcpu.c316 uint32_t missing; local
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml1781 val (missing,next_thm) = alpha_match_clauses outermost split_clauses value
[all...]
/seL4-l4v-10.1.1/HOL4/src/quotient/src/
H A Dquotient.sml1763 val missing = (*subtract funcs rfuncs*) value

Completed in 61 milliseconds