Searched defs:ref (Results 1 - 16 of 16) sorted by path
| /seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/ |
| H A D | drules.tex | [all...] |
| /seL4-l4v-10.1.1/HOL4/help/src-sml/ |
| H A D | MyDatabase.sml | 39 let val ref {closed, ic} = fromI is in value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
| H A D | Unsynchronized.sml | 9 datatype ref = datatype ref type
22 datatype ref type
[all...] |
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Clause.sml | 21 val ref n = r value
|
| H A D | Formula.sml | 497 val ref s = Term.negation value
|
| H A D | Model.sml | 880 val ref m = tm value
|
| H A D | Normalize.sml | 693 val ref m = counter value
1248 val ref i = counter value
|
| H A D | Parse.sml | 134 val ref (n,_,l2,l3) = lastLine value
145 val ref (n,l1,l2,l3) = lastLine value
|
| H A D | selftest.sml | 39 val ref oldquietdec = quietdec; value
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Clause.sml | 21 val ref n = r value
|
| H A D | Formula.sml | 497 val ref s = Term.negation value
|
| H A D | Model.sml | 880 val ref m = tm value
|
| H A D | Normalize.sml | 693 val ref m = counter value
1248 val ref i = counter value
|
| H A D | Parse.sml | 134 val ref (n,_,l2,l3) = lastLine value
145 val ref (n,l1,l2,l3) = lastLine value
|
| H A D | selftest.sml | 39 val ref oldquietdec = quietdec; value
|
| /seL4-l4v-10.1.1/l4v/tools/asmrefine/testfiles/ |
| H A D | global_array_swap.c | 104 reference_val ref = a_reference_array[i]; local
|
Completed in 125 milliseconds