| /seL4-l4v-master/HOL4/src/portableML/mosml/concurrent/ |
| H A D | Sref.sig | 6 val update : 'a t -> ('a -> 'a) -> unit (* locks *) value
|
| H A D | Sref.sml | 7 fun update s f = (s := f (!s)) function
|
| /seL4-l4v-master/HOL4/src/portableML/poly/concurrent/ |
| H A D | Sref.sig | 6 val update : 'a t -> ('a -> 'a) -> unit (* locks *) value
|
| H A D | Sref.sml | 8 fun update {mutex,v} f = function
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/lib/ |
| H A D | Map.sml | 10 val update : 'a map * IntInf.int * 'a -> 'a map value
|
| H A D | MutableMapFunctor.sml | 34 fun update (Array a, v, d) = (Array.update (a, IntInf.toInt v, d); Array a) function
|
| H A D | PureMap.sml | 35 fun update (Vector a, v, d) = Vector (Vector.update (a, IntInf.toInt v, d)) function
|
| /seL4-l4v-master/HOL4/src/portableML/poly/ |
| H A D | MD5.sig | 13 val update : (md5state * Word8Vector.vector) -> md5state value
|
| H A D | Dynarray.sig | 13 val update : '_a array * int * '_a -> unit value
|
| H A D | Dynarray.sml | 45 fun update (b as BLOCK (arr, dflt), idx, v) = function
|
| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | extern_dups.c | 31 int update(int i, int value) function
|
| H A D | globals_fn.c | 23 void update(int *array, int i, int value) function
|
| H A D | arrays.c | 27 void update(int i, int v) function
|
| /seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/ |
| H A D | VarOrder.h | 61 void VarOrder::update(Var x) function in class:VarOrder
|
| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | AList.sig | 12 val update: ('a * 'a -> bool) -> ('a * 'b) value
|
| H A D | FlagDB.sig | 8 val update : string -> ('a tag * 'a) -> t -> t value
|
| H A D | FlagDB.sml | 15 fun update nm (tag, v:'a) t = function
|
| /seL4-l4v-master/HOL4/tools/Holmake/mosml/ |
| H A D | HM_Cline.sml | 41 val {update = u, hmakefile, no_hmf} = f x value
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | CharSet.sml | 29 fun update(i,w) = if i = d then orb(w, cword) else w function
54 fun update(i, w) = orb(w, sub(cs2, i)) function
60 fun update(i, w) = andb(w, sub(cs2, i)) function
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | Array2Signature.sml | 36 val update: 'a array * int * int * 'a -> unit value
|
| H A D | PackRealBig.sml | 29 val update : Word8Array.array * int * real -> unit value
129 fun update(Array(l, v), i, r) = function
207 fun update(Array(l, v), i, r) = function
|
| H A D | PackWord8Big.sml | 31 val update : Word8Array.array * int * LargeWord.word -> unit value
44 fun update(a, i, v) = Word8Array.update(a, i, Word8.fromLargeWord v) function
102 fun update(a, i, v) = function
133 fun update(a, i, v) = function
168 fun update(a, i, v) = function
205 fun update(a, i, v) = function
[all...] |
| /seL4-l4v-master/l4v/misc/regression/ |
| H A D | cpuusage.py | 85 def update(): function in function:Poller.run
|
| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | ord-map-sig.sml | 22 val update : 'a map * int * ('a -> 'a) -> 'a map value
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
| H A D | ord-map-sig.sml | 22 val update : 'a map * int * ('a -> 'a) -> 'a map value
|