Searched refs:tab (Results 1 - 25 of 50) sorted by relevance

12

/seL4-l4v-master/HOL4/src/prekernel/
H A DKernelSig.sml33 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 DGraph.sml97 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 DTable.sml127 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 DMenuBase.sml34 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 DComboBase.sml28 val tab = [ value
40 val CBDIRATTRS = tableSetLookup(tab, NONE)
H A DDeviceBase.sml28 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 DScrollBase.sml56 val tab = [ value
63 (*val (fromSIF, toSIF) = tableSetLookup(tab, NONE)*)
64 val cSCROLLINFOOPTION = tableSetConversion(tab, NONE)
H A DFontBase.sml27 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 DGdiBase.sml92 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 DLocaleBase.sml79 val tab = [ value
125 val (fromPrim, toPrim) = tableLookup(tab, NONE)
129 val tab = [ value
209 val (fromSub, toSub) = tableLookup(tab, NONE)
H A DScrollbar.sml106 val tab = [ value
113 val cSCROLLBARTYPE = tableConversion(tab, NONE) cUint
121 val tab = [ value
126 val cSCROLLWINDOWFLAG = tableSetConversion(tab, NONE)
H A DMenu.sml159 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 DFont.sml183 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 DBitmap.sml123 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 DCOPIER.sml85 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 DPretty.sml276 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 Ddepcomp99 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 Dinstall-sh44 tab=' '
47 IFS=" $tab$nl"
131 *' '* | *"$tab"* | *"$nl"* | *'*'* | *'?'* | *'['*)
/seL4-l4v-master/HOL4/src/metis/
H A DmlibTermorder.sml305 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 Dbootup.tex31 \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 Dbdd.sml218 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 Dappendix0.tex111 \label{tab:ascii}
158 \label{tab:ReservedWords}
189 %\label{tab:keywords}
/seL4-l4v-master/l4v/isabelle/src/Doc/Tutorial/document/
H A Dappendix0.tex111 \label{tab:ascii}
158 \label{tab:ReservedWords}
189 %\label{tab:keywords}
/seL4-l4v-master/isabelle/src/Pure/General/
H A Dpath.scala140 (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 Dpath.scala140 (Multi_Map.empty[String, String] /: paths)({ case (tab, path) =>
142 tab.insert(Word.lowercase(name), name)

Completed in 212 milliseconds

12