| /seL4-l4v-master/HOL4/examples/l3-machine-code/lib/ |
| H A D | Map.sml | 11 val copy : 'a map -> 'a map value
|
| H A D | MutableMapFunctor.sml | 54 fun copy (Array a) = Array (copyArray a) function
|
| H A D | PureMap.sml | 56 fun copy x = x function
|
| /seL4-l4v-master/HOL4/src/portableML/poly/ |
| H A D | Dynarray.sml | 20 fun copy i = Array.sub (arrval, i + lo) handle _ => dflt function
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | Array2Signature.sml | 42 val copy: value
|
| H A D | ArraySignature.sml | 33 val copy : {src : 'a array, dst : 'a array, di : int} -> unit value
|
| H A D | ArraySliceSignature.sml | 33 val copy : {src : 'a slice, dst : 'a array, di : int} -> unit value
|
| H A D | IntArray2.sml | 46 val copy: { value
|
| H A D | MONO_ARRAY.sml | 36 val copy : {src : array, dst : array, di : int} -> unit value
|
| H A D | Array.sml | 133 fun copy {src: 'a array as s, dst: 'a array as d, di: int} = function
253 fun copy {src = Slice{array=s, start=srcStart, length=srcLen}, dst, di: int} = function
|
| H A D | MONO_ARRAY_SLICE.sml | 39 val copy : {src : slice, dst : array, di : int} -> unit value
|
| H A D | Array2.sml | 129 fun copy {src as {base, row, col, ...}, dst, dst_row, dst_col} = function
|
| H A D | BoolArray.sml | 228 fun copy b l = function
255 fun copy b l = function
418 fun copy {src=Array (slen, s), dst=Array (dlen, d), di: int} = function
[all...] |
| H A D | Word8Array.sml | 209 fun copy {src=Array (len, s), dst=Array (dlen, d), di: int} = function
371 fun copy {src, dst, di: int} = function
|
| H A D | String.sml | 222 fun copy (_, []:string list) = () function
264 fun copy (_, []:char list) = () function
1210 fun copy {src=Array (len, s), dst=Array (dlen, d), di: int} = function
1633 fun copy {src, dst, di: int} = function
[all...] |
| /seL4-l4v-master/HOL4/src/simp/src/ |
| H A D | Sequence.sml | 69 let fun copy xq = mk_seq (fn()=> function
83 let fun copy s = mk_seq (fn()=> function
104 let fun copy s = mk_seq (fn()=> function
113 let fun copy s = mk_seq (fn()=> function
[all...] |
| /seL4-l4v-master/HOL4/tools/ |
| H A D | buildutils.sig | 23 val copy : string -> string -> unit (* copy src dest *) value
|
| H A D | buildutils.sml | 398 fun copy file path = (* Dead simple file copy *) function
|
| /seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/ |
| H A D | ArrayVector.sml | 103 val copy : {src : array, dst : array, di : FixedInt.int} -> unit value
127 val copy = fn {di, dst, src} => copy {di=FixedInt.fromLarge di, dst=dst, src=src} value
153 val copy = fn {di, dst, src} => copy {di=FixedInt.fromLarge di, dst=dst, src=src} value
255 val copy : {src : slice, dst : array, di : FixedInt.int} -> unit value
279 val copy = fn {di, dst, src} => copy {di=FixedInt.fromLarge di, dst=dst, src=src} value
304 val copy value
374 and copy = copy' value
[all...] |
| /seL4-l4v-master/graph-refine/graph-to-graph/ |
| H A D | conflict.py | 9 import os, re, sys, copy namespace
|
| H A D | reconstruct.py | 12 import copy namespace
|
| H A D | pydot.py | 32 import copy namespace
|
| /seL4-l4v-master/seL4/tools/ |
| H A D | lex.py | 43 import copy namespace
|
| /seL4-l4v-master/HOL4/examples/formal-languages/regular/ |
| H A D | Regexp_Numerics.sml | 15 fun copy x n = List.tabulate (n,K x) handle _ => []; function
|
| H A D | Regexp_Type.sml | 12 fun copy x n = List.tabulate (n,K x) handle _ => []; function
|