/seL4-l4v-master/HOL4/src/prekernel/ |
H A D | KernelSig.sml | 33 fun find(tab,n) = Binarymap.find(!tab,n) 35 fun peek(tab,n) = Binarymap.peek(!tab,n) 37 val (tab', (id,v)) = Binarymap.remove(!r,n) 39 r := tab'; 70 fun listThy tab thy = let 76 foldl foldthis [] tab 79 fun listName tab nm = let 84 foldl foldthis [] tab [all...] |
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | Graph.sml | 97 fun is_empty (Keys tab) = Table.is_empty tab; 99 fun member (Keys tab) = Table.defined tab; 100 fun insert x (Keys tab) = 101 Keys (Table.insert (fn _ => fn _ => true) (x, ()) tab); 102 fun remove x (Keys tab) = Keys (Table.delete_safe x tab); 104 fun fold f (Keys tab) = Table.fold (f o #1) tab; [all...] |
H A D | Table.sml | 127 fun dest tab = fold_rev_table cons tab []; 128 fun keys tab = fold_rev_table (cons o #1) tab []; 180 fun lookup tab key = 197 in look tab end; 199 fun lookup_key tab key = 216 in look tab end; 218 fun defined tab key = 235 in def tab en [all...] |
/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
H A D | MenuBase.sml | 34 val tab = [ value 64 val (fromMenuFlagSet, toMenuFlagSet) = tableSetLookup(tab, NONE) 68 val (fromMenuFlag, toMenuFlag) = tableLookup(tab, NONE) 69 val cMENUFLAG = tableConversion(tab, NONE) cUintw
|
H A D | ComboBase.sml | 28 val tab = [ value 40 val CBDIRATTRS = tableSetLookup(tab, NONE)
|
H A D | DeviceBase.sml | 28 val tab = [ value 32 val (fromDMC, toDMC) = tableLookup(tab, NONE) 41 val tab = [ value 58 val (fromDMS, toDMS) = tableLookup(tab, SOME(DMSOURCE_OTHER, doConv)) 63 val tab = [ value 70 val (fromDMR, toDMR) = tableLookup(tab, SOME(DMRES_DPI, doConv)) 75 val tab = [ value 80 val (fromDMD, toDMD) = tableLookup(tab, NONE) 85 val tab = [ value 91 val (fromDMTT, toDMTT) = tableLookup(tab, NON 97 val tab = [ value 110 val tab = [ value 121 val tab = [ value 133 val tab = [ value 147 val tab = [ value 173 val tab = [ value [all...] |
H A D | ScrollBase.sml | 56 val tab = [ value 63 (*val (fromSIF, toSIF) = tableSetLookup(tab, NONE)*) 64 val cSCROLLINFOOPTION = tableSetConversion(tab, NONE)
|
H A D | FontBase.sml | 27 val tab = [ value 36 val (outQualToW8, outQualFromW8) = tableLookup(tab, NONE) 46 val tab = [ value 68 val (charsetToW8, charsetFromW8) = tableLookup(tab, NONE) 126 val tab = [ value 139 val (outPrecToW8, outPrecFromW8) = tableLookup(tab, NONE) 148 val tab = [ value 156 val (clipPrecSetToW32, clipPrecSetFromW32) = tableSetLookup(tab, NONE)
|
H A D | GdiBase.sml | 92 val tab = [ value 99 val (toInt, fromInt) = tableLookup(tab, NONE) 189 val tab = [ value 208 val (fromPS, toPS) = tableLookup(tab, NONE) 220 val cPENSTYLE = tableSetConversion(tab, NONE) 232 val tab = [ value 246 val cMAPMODE = tableConversion(tab, SOME(fromInt, toInt)) cInt (* int for Get/SetMapMode *)
|
H A D | LocaleBase.sml | 79 val tab = [ value 125 val (fromPrim, toPrim) = tableLookup(tab, NONE) 129 val tab = [ value 209 val (fromSub, toSub) = tableLookup(tab, NONE)
|
H A D | Scrollbar.sml | 106 val tab = [ value 113 val cSCROLLBARTYPE = tableConversion(tab, NONE) cUint 121 val tab = [ value 126 val cSCROLLWINDOWFLAG = tableSetConversion(tab, NONE)
|
H A D | Menu.sml | 159 val tab = [ value 163 val GMDIFLAGS = tableSetConversion(tab, NONE) 221 val tab = [ value 228 val (fromMFT, toMFT) = tableSetLookup(tab, NONE) 242 val tab = [ value 252 val cMENUSTATE = tableSetConversion(tab, NONE) 483 val tab = [ value 498 val TRACKPOPUPOPTIONS = tableSetConversion(tab, NONE)
|
H A D | Font.sml | 183 val tab = [ value 193 val TEXTALIGN = tableSetConversion(tab, NONE) 204 val tab = [ value 226 val DRAWTEXTMODE = tableSetConversion(tab, SOME(fromInt, toInt)) 292 val tab = [ value 300 val EXTENDEDTEXTOUT = tableSetConversion(tab, NONE)
|
H A D | Bitmap.sml | 123 val tab = [ value 129 val FLOODFILLMODE = tableConversion(tab, NONE) cUint 224 val tab = [ value 231 val (fromComp, toComp) = tableLookup(tab, NONE)
|
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ |
H A D | COPIER.sml | 85 val Struct { signat = Signatures { tab, typeIdMap, ...}, ...} = tagProject structVar dVal 87 buildTypeCache(tab, strName ^ dName ^ "." (* Add structure names. *), 166 val Signatures { name=sigName, tab, typeIdMap, firstBoundIndex, locations=sigLocs, ...} = signat 171 makeSignature(sigName, tab, firstBoundIndex, sigLocs, composeMaps(typeIdMap, mapTypeId), []) 179 (tab, 246 fun openSignature(Signatures{ tab, typeIdMap, ...}, resEnv, strName) = 247 localCopySig(tab, resEnv, typeIdMap, true (* One level. *), strName, typeIdMap, []) 266 fun replaceMap(Signatures{tab=sourceTab, name = sourceName, locations, ...}, 270 val tab = makeSignatureTable (); value 274 enterType = fn (s,v) => univEnter (tab, typeConstrVa [all...] |
H A D | Pretty.sml | 276 compatibility. It has now been extended with explicit tab stops. By default 299 | findTab(length, tab::tabs) = 300 if length >= tab 303 val (t, ts) = findTab(length-tab, tabs) 307 else (tab-length, tabs)
|
/seL4-l4v-master/HOL4/polyml/ |
H A D | depcomp | 99 sed -e "s,^.*\.[$lower]*:[$tab ]*,," -e 's,$,:,' < "$tmpdepfile" 108 tab=' ' 547 s/\(.*\)/'"$tab"'\1 \\/p 551 s/.*/'"$tab"'/ 607 sed "s|^[$tab ]*[^:$tab ][^:][^:]*:[$tab ]*|$object: |" > "$tmpdepfile" 758 sed < "$tmpdepfile" -n -e 's% %\\ %g' -e '/^\(.*\)$/ s::'"$tab"'\1 \\:p' >> "$depfile" 759 echo "$tab" >> "$depfile"
|
H A D | install-sh | 44 tab=' ' 47 IFS=" $tab$nl" 131 *' '* | *"$tab"* | *"$nl"* | *'*'* | *'?'* | *'['*)
|
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibTermorder.sml | 305 fun table_to_string vars vars' tab = 310 nicevar v :: map (int_to_string o M.count (B.find (tab,v))) vars 326 fun table_add parm vars' ((v |-> t), tab) = 330 val tab = if not (mem v vars') then tab else add (v,~1,tab) value 332 M.foldl add tab (weight wf t) 338 val tab = foldl init (B.mkDict String.compare) vars' value 340 foldl (table_add parm vars') tab 343 fun new_eqn vars vars' tab eq 356 val tab = mk_table parm vars1 vars2 mapl value [all...] |
/seL4-l4v-master/seL4/manual/parts/ |
H A D | bootup.tex | 31 \autoref{tab:cnode_content}. 36 \label{tab:cnode_content} 79 \autoref{tab:bootinfo_struct}. 93 \label{tab:bootinfo_struct} 122 with a \texttt{seL4\_BootInfoHeader}, described in \autoref{tab:bi_header_struct}, that 133 \label{tab:bi_header_struct} 175 in \autoref{tab:untyped_desc_struct}, and details the address, size and kind of 184 \label{tab:untyped_desc_struct} 220 Arguments are listed in \autoref{tab:bootargs} along with their default values (if left unspecified). 242 \label{tab [all...] |
/seL4-l4v-master/HOL4/examples/muddy/ |
H A D | bdd.sml | 218 fun add (size,next,tab) r = 220 val slot = Array.sub(tab,code) 225 Array.update(tab, code, (r,n) :: slot); 234 val tab = Array.array(nc,NONE) value 235 fun peek i = Array.sub(tab, i) 236 fun update i d = Array.update(tab,i,SOME d) 257 Vector.tabulate(nc, fn i => valOf(Array.sub(tab,i))))
|
/seL4-l4v-master/isabelle/src/Doc/Tutorial/document/ |
H A D | appendix0.tex | 111 \label{tab:ascii} 158 \label{tab:ReservedWords} 189 %\label{tab:keywords}
|
/seL4-l4v-master/l4v/isabelle/src/Doc/Tutorial/document/ |
H A D | appendix0.tex | 111 \label{tab:ascii} 158 \label{tab:ReservedWords} 189 %\label{tab:keywords}
|
/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | path.scala | 140 (Multi_Map.empty[String, String] /: paths)({ case (tab, path) => 142 tab.insert(Word.lowercase(name), name)
|
/seL4-l4v-master/l4v/isabelle/src/Pure/General/ |
H A D | path.scala | 140 (Multi_Map.empty[String, String] /: paths)({ case (tab, path) => 142 tab.insert(Word.lowercase(name), name)
|