Searched defs:fr (Results 1 - 3 of 3) sorted by relevance
/seL4-l4v-master/HOL4/src/simp/src/ |
H A D | Unwind.sml | 172 else let val (fr,el,back) = split_at f tl value
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/cheri/step/ |
H A D | cheri_stepLib.sml | 280 val fr = fnd_sb (cheri_rpatterns, [("s0", r0), ("t0", r5), ("d0", r10)]) value
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/mips/step/ |
H A D | mips_stepLib.sml | 1028 val fr = fnd_sb (mips_rpatterns, [("s0", r0), ("t0", r5), ("d0", r10)]) value
|
Completed in 46 milliseconds