| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | IntArray.sml | 40 type slice = int slice type
48 type slice = int slice type
|
| H A D | RealArray.sml | 46 type slice = real slice type
54 type slice = real slice type
|
| H A D | Byte.sml | 49 val slice = Word8VectorSlice.slice(stringToBytes str, offset, SOME size) value
|
| H A D | ArraySliceSignature.sml | 29 val slice: 'a array * int * int option -> 'a slice value
[all...] |
| H A D | MONO_VECTOR_SLICE.sml | 27 type slice type
32 val slice: vector * int * int option -> slice value
[all...] |
| H A D | VectorSliceSignature.sml | 27 val slice: 'a vector * int * int option -> 'a slice value
[all...] |
| H A D | Array.sml | 214 fun slice(vec: 'a array, i: int, NONE) = function
[all...] |
| H A D | MONO_ARRAY_SLICE.sml | 27 type slice type
35 val slice: array * int * int option -> slice value
[all...] |
| H A D | VectorSliceOperations.sml | 33 datatype slice = Slice of { vector: vector, start: word, length: word }; type
38 val slice: vector * int * int option -> slice value
66 datatype slice = Slice of { vector: vector, start: word, length: word }; type
94 fun slice(vec: vector, i: int, NONE) = function
[all...] |
| H A D | Vector.sml | 250 fun slice(vec: 'a vector, i: int, NONE) = function
|
| H A D | StringSignatures.sml | 122 val slice : (substring * int * int option) -> substring value
|
| H A D | String.sml | 1306 type slice type
1310 val slice: vector * int * int option -> slice value
1322 sharing type slice = substring type
1577 val slice = subslice value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/ |
| H A D | StringChar.sml | 49 val slice = fn (s, i, j) => slice(s, FixedInt.fromInt i, Option.map FixedInt.fromInt j) value
|
| H A D | ArrayVector.sml | 171 type slice type
176 val slice: vector * FixedInt.int * FixedInt.int option -> slice value
203 val slice = fn (v, i, l) => slice(v, FixedInt.fromLarge i, Option.map FixedInt.fromInt l) value
225 val slice = fn (v, i, l) => slice(v, FixedInt.fromLarge i, Option.map FixedInt.fromInt l) value
243 type slice type
251 val slice: array * FixedInt.int * FixedInt.int option -> slice value
282 val slice = fn (v, i, l) => slice(v, FixedInt.fromLarge i, Option.map FixedInt.fromInt l) value
307 val slice = fn (v, i, l) => slice(v, FixedInt.fromLarge i, Option.map FixedInt.fromInt l) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | basis2002.sml | 138 val slice : 'a Vector.vector * int * int option -> 'a slice value
174 fun slice (v,i,NONE) = if i < 0 orelse vlen v < i then raise Subscript function
350 val slice : 'a Array.array * int * int option -> 'a slice value
399 fun slice (v,i,NONE) = if i < 0 orelse vlen v < i then raise Subscript function
709 val slice : substring * int * int option -> substring value
841 type slice type
845 val slice : vector * int * int option -> slice value
868 where type slice = Substring.substring type
873 type slice = Substring.substring type
878 val slice = extract value
[all...] |