Searched defs:ps2 (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/step/
H A Darm8_stepLib.sml630 val ps2 = List.map fst ps value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml899 val (ps2,p2) = list_dest_sep_exists p2 value

Completed in 41 milliseconds