Searched defs:dd (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | ml_bind.sml | 45 structure dd = DragDrop structure
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | nested_struct.c | 19 double dd; member in struct:cls_struct_16byte2
[all...] |
| H A D | nested_struct1.c | 19 double dd; member in struct:cls_struct_16byte2
[all...] |
| H A D | huge_struct.c | 46 int32_t dd; member in struct:BigStruct
|
| /seL4-l4v-10.1.1/HOL4/src/TeX/ |
| H A D | holindex.sml | 528 val dd = output_all_defs os ds value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | realconv.cpp | 2360 int b2, bbits, d2, dd, dig, dsign, i, j, nd, nd0, p2, p5, speccase; variable
3736 double dd; int mode, ndigits, *decpt, *sign; char **rve; variable
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/ |
| H A D | helperLib.sml | 64 val dd = ref ((Binarymap.mkDict String.compare) : (String.string, 'a) Binarymap.dict) value
|
Completed in 137 milliseconds