Searched defs:ref (Results 1 - 18 of 18) sorted by relevance
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | Uref.sig | 4 datatype t = datatype ref type
|
H A D | Uref.sml | 4 datatype t = datatype ref type
|
/seL4-l4v-master/HOL4/src/portableML/poly/ |
H A D | Unsynchronized.sml | 9 datatype ref = datatype ref type 22 datatype ref type [all...] |
/seL4-l4v-master/HOL4/help/src-sml/ |
H A D | MyDatabase.sml | 39 let val ref {closed, ic} = fromI is in value
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Clause.sml | 21 val ref n = r 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 | Formula.sml | 497 val ref s = Term.negation value
|
H A D | selftest.sml | 39 val ref oldquietdec = quietdec; 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
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Clause.sml | 21 val ref n = r 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 | Formula.sml | 497 val ref s = Term.negation value
|
H A D | selftest.sml | 39 val ref oldquietdec = quietdec; 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
|
/seL4-l4v-master/l4v/tools/asmrefine/testfiles/ |
H A D | global_array_swap.c | 95 reference_val ref = a_reference_array[i]; local
|
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/ |
H A D | drules.tex | [all...] |
Completed in 117 milliseconds