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

/seL4-l4v-master/HOL4/src/boss/
H A Dselftest.sml363 val missing = filter (not o has_ok_Case) goals value
/seL4-l4v-master/HOL4/src/portableML/poly/concurrent/
H A DFuture.sml293 val missing = ! max_workers - length (! workers); value
/seL4-l4v-master/seL4/src/arch/x86/object/
H A Dvcpu.c302 uint32_t missing; local
[all...]
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml1781 val (missing,next_thm) = alpha_match_clauses outermost split_clauses value
[all...]
/seL4-l4v-master/HOL4/src/quotient/src/
H A Dquotient.sml1766 val missing = (*subtract funcs rfuncs*) value

Completed in 327 milliseconds