Searched defs:d0 (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/HOL4/tools/Holmake/tests/badincludes/
H A Dselftest.sml10 val d0 = OS.FileSys.getDir () value
/seL4-l4v-master/HOL4/src/HolSat/
H A DminisatResolve.sml47 let val (d0,d1) = dest_disj c value
/seL4-l4v-master/HOL4/examples/dev/sw2/
H A DregAlloc.sml279 val (d0,d1) = (hd ds, hd (tl ds)) value
/seL4-l4v-master/HOL4/src/integer/
H A DOmegaMLShadow.sml133 val d0 = ~ (sub(av2, i)) value
/seL4-l4v-master/HOL4/src/metis/
H A DmlibOmega.sml170 val d0 = ~ (sub(av2, i)) value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Drealconv.cpp1277 ULong d0, d1; variable
1279 #define d0 word0(&d) macro
1352 ULong d0, d1; variable
1356 #define d0 macro
1468 #undef d0 macro
[all...]
/seL4-l4v-master/HOL4/tools/Holmake/
H A DHolmake_tools.sml472 val d0 = OS.FileSys.getDir() value
/seL4-l4v-master/HOL4/src/bool/
H A DboolScript.sml3839 val d0 = TRANS (ASSUME fT_eq_F) value

Completed in 396 milliseconds