Searched defs:rs (Results 26 - 30 of 30) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/
H A DhelperLib.sml625 val rs = redexes result value
1273 val rs = redexes result value
1339 val rs = redexes s value
1391 val rs = redexes s value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_parserLib.sml1535 let val (rs,typ,_) = dest_Mode1_register_shifted_register mode1 in value
/seL4-l4v-10.1.1/HOL4/src/quotient/src/
H A Dquotient.sml258 val (rs,Rrs) = ((I ## lhs) o strip_forall o concl) pequiv value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Ddlmalloc.c4494 size_t rs = ((capacity == 0)? mparams.granularity : local
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml3165 let val rs = guarenteed (map (rhs o snd o strip_forall) o strip_conj o snd o dest_imp_only) term value

Completed in 229 milliseconds

12