Searched defs:cps (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DRW.sml[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/step/
H A Dmips_stepLib.sml658 val cps = mapl (`rd`, List.map reg [23, 26]) : utilsLib.cover value
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DPairRules.sml2400 val (cps,con) = strip_forall conseq value
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DlzPairRules.sml2426 val (cps,con) = strip_forall conseq value

Completed in 91 milliseconds