Searched defs:pres (Results 1 - 5 of 5) sorted by last modified time

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp1217 pid_t pres = 0; local
/seL4-l4v-master/HOL4/tools/Holmake/
H A DHolmake.sml404 val {pres, inc value
[all...]
/seL4-l4v-master/HOL4/examples/machine-code/x64_compiler/
H A Dx64_compilerLib.sml118 val pres = map (fn (x,y,z) => z) xs value
/seL4-l4v-master/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml674 val pres = map fst ys value
/seL4-l4v-master/HOL4/examples/machine-code/compiler/
H A DcompilerLib.sml124 val pres = map (fn (x,y,z) => z) xs value
171 val pres = f (map (fn (x,y,z) => z) xs) value

Completed in 140 milliseconds