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

/seL4-l4v-10.1.1/HOL4/src/simp/src/
H A DSatisfy.sml66 val choices = satisfy (union consts (free_vars gl)) facts' goals value
71 let val choices = satisfy1 (consts,map concl facts) gl value
/seL4-l4v-10.1.1/seL4/libsel4/tools/
H A Dbitfield_gen.py2584 choices=list(INCLUDES.keys())) variable
/seL4-l4v-10.1.1/seL4/manual/tools/libsel4_tools/
H A Dbitfield_gen.py2584 choices=list(INCLUDES.keys())) variable
/seL4-l4v-10.1.1/seL4/tools/
H A Dbitfield_gen.py2584 choices=list(INCLUDES.keys())) variable
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml197 fun choices [] current A = current::A function

Completed in 50 milliseconds