Searched defs:fi (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/examples/l3-machine-code/cheri/step/
H A Dcheri_stepLib.sml278 val fi = fnd_sb (cheri_ipatterns, [("s0", r0), ("t0", r5)]) value
/seL4-l4v-master/HOL4/src/AI/sml_inspection/
H A DsmlParallel.sml150 fun fi xi x = (x,xi) function
/seL4-l4v-master/HOL4/examples/l3-machine-code/mips/step/
H A Dmips_stepLib.sml1026 val fi = fnd_sb (mips_ipatterns, [("s0", r0), ("t0", r5)]) value

Completed in 47 milliseconds