/seL4-l4v-master/HOL4/src/finite_maps/ |
H A D | flookupLib.sml | 119 val base = get_b rest value 244 val (base, ups) = finite_mapSyntax.strip_fupdate fm value [all...] |
/seL4-l4v-master/HOL4/tools/trailing-wspace/ |
H A D | trailingwspace.sml | 102 val {base, ext} = OS.Path.splitBaseExt fname value
|
/seL4-l4v-master/HOL4/developers/ |
H A D | comparelogs.sml | 132 val base = hd args value
|
/seL4-l4v-master/HOL4/help/src-sml/ |
H A D | HOLPage.sml | 33 val {base,ext} = splitBaseExt file value
|
H A D | makebase.sml | 33 val {base,ext} = splitBaseExt file value
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | Int.sml | 138 val (base, maxShort, shortChars) = baseOf radix value 210 val (base, _, _) = baseOf radix value
|
H A D | PrimIO.sml | 548 val (base, di, len) = ArraySlice.base slice value
|
H A D | Vector.sml | 293 fun base(Slice{vector, start, length}) = (vector, start, length) function
|
H A D | LargeWord.sml | 46 val base: LargeInt.int = value
|
H A D | StringSignatures.sml | 113 val base : substring -> (string * int * int) value
|
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86/ |
H A D | x86_encodeLib.sml | 51 val base = SOME ((snd o hd o filter (fn (x,y) => x = 1)) ks) handle e => NONE value [all...] |
/seL4-l4v-master/HOL4/src/AI/sml_inspection/ |
H A D | smlOpen.sml | 36 val base = fst (split_string "Script." script) value
|
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/ |
H A D | machine.h | 248 static inline void x86_write_fs_base_impl(word_t base) argument 255 word_t base = 0; local 294 static inline void x86_write_gs_base_impl(word_t base) argument 306 static inline void x86_write_gs_base_impl(word_t base) argument 313 word_t base = 0; local 320 x86_write_gs_base_impl(word_t base) argument [all...] |
/seL4-l4v-master/HOL4/tools/unicode-grep/ |
H A D | ugrep.sml | 182 val {base,ext} = OS.Path.splitBaseExt fname value 208 val {base,ext} = OS.Path.splitBaseExt fname value
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | machoexport.cpp | 144 void MachoExport::ScanConstant(PolyObject *base, byte *addr, ScanRelocationKind code) argument
|
H A D | pecoffexport.cpp | 154 void PECOFFExport::ScanConstant(PolyObject *base, byte *addr, ScanRelocationKind code) argument
|
H A D | objsize.cpp | 276 PolyObject *ProcessVisitAddresses::ScanObjectAddress(PolyObject *base) argument
|
H A D | io_internal.h | 91 virtual size_t readStream(TaskData *taskData, byte *base, size_t length) { argument 106 virtual size_t writeStream(TaskData *taskData, byte *base, size_t length) { argument
|
H A D | quick_gc.cpp | 116 virtual PolyObject *ScanObjectAddress(PolyObject *base) { return base; } argument 117 virtual void ScanAddressesInObject(PolyObject *base, POLYUNSIGNED lengthWord) argument 409 PolyObject *QuickGCScanner::ScanObjectAddress(PolyObject *base) argument
|
/seL4-l4v-master/HOL4/src/list/src/ |
H A D | listSimps.sml | 365 val base = reduceLib.num_compset() value
|
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/ |
H A D | ArrayVector.sml | 178 val base: slice -> vector * FixedInt.int * FixedInt.int value 202 val base = fn s => let val (a, i, j) = base s in (a, FixedInt.toInt i, FixedInt.toInt j) end value 224 val base = fn s => let val (a, i, j) = base s in (a, FixedInt.toInt i, FixedInt.toInt j) end value 253 val base: slice -> array * FixedInt.int * FixedInt.int value 281 val base = fn s => let val (a, i, j) = base s in (a, FixedInt.toInt i, FixedInt.toInt j) end value 306 val base = fn s => let val (a, i, j) = base value [all...] |
/seL4-l4v-master/HOL4/src/simp/src/ |
H A D | Cond_rewr.sml | 306 val base = value
|
H A D | congLib.sml | 307 fun base thl (asms, gl) = let function
|
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
H A D | x64_encodeLib.sml | 51 val base = SOME ((snd o hd o filter (fn (x,y) => x = 1)) ks) handle e => NONE value [all...] |
/seL4-l4v-master/HOL4/examples/formal-languages/regular/ |
H A D | Regexp_Numerics.sml | 397 val base = And(EVEN dir, num_interval dir w (2*lo, 2*hi)) value
|