| /seL4-l4v-master/HOL4/examples/ARM/v7/ |
| H A D | selftest.sml | 37 fun update (l,r) = "[" ^ t2s l ^ " <- " ^ t2s r ^ "]\n" function
|
| /seL4-l4v-master/HOL4/examples/acl2/tests/inputs/ |
| H A D | m1-story.lisp | [all...] |
| H A D | problem-set-1-answers.lisp | |
| H A D | records.lisp | 293 (defmacro update (old &rest updates) function
|
| H A D | summary.lisp | 49 (defmacro update (old &rest updates) function
|
| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | int-binary-map.sml | 159 fun update (E,_,_) = raise Binaryset.NotFound function
|
| 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 | int-binary-map.sml | 159 fun update (E,_,_) = raise Binaryset.NotFound function
|
| 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.2/util/ |
| H A D | int-binary-map.sml | 159 fun update (E,_,_) = raise Binaryset.NotFound function
|
| H A D | ord-map-sig.sml | 22 val update : 'a map * int * ('a -> 'a) -> 'a map value
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/lib/ |
| H A D | L3.sig | 49 val update : (''a -> 'b) -> ''a -> 'b -> ''a -> 'b value
|
| H A D | L3.sml | 21 fun update m i e = fn x => if x = i then e else m x function
|
| 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/examples/machine-code/compiler/ |
| H A D | reg_allocLib.sml | 419 fun update x y z i = if x ~~ i then y else z i function
|
| /seL4-l4v-master/HOL4/examples/muddy/ |
| H A D | bdd.sml | 236 fun update i d = Array.update(tab,i,SOME d) function
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | Array.sml | 84 fun update (vec: 'a array, i: int, new: 'a) : unit = function
208 fun update (Slice{array, start, length}, i: int, new: 'a) : unit = function
|
| H A D | Array2.sml | 86 fun update (arr, i, j, a) = Array.update(Vector.sub(fromArray arr, i), j, a) function
|
| H A D | Array2Signature.sml | 36 val update: 'a array * int * int * 'a -> unit value
|
| H A D | ArraySignature.sml | 32 val update : ('a array * int * 'a) -> unit value
|
| H A D | ArraySliceSignature.sml | 27 val update : 'a slice * int * 'a -> unit value
|
| H A D | BoolArray.sml | 278 fun update (v as Vector(len, _), i, c) = function
400 fun update (Array (l, v), i: int, new) : unit = function
|
| H A D | IntArray2.sml | 40 val update : array * int * int * elem -> unit value
|