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

12

/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/
H A DWinBase.sml178 val tab = [ value
196 val cWINDOWPOSITIONSTYLE = tableSetConversion(tab, SOME(SWP_OTHER, toWord))
H A DDeviceContext.sml408 val tab = [ value
423 val DEVICECONTEXTFLAG = tableSetConversion(tab, NONE)
435 val tab = [ value
456 val ENUMOBJECT = tableConversion(tab, SOME(fromInt, toInt)) cUint
H A DMessage.sml101 tab = [
109 val cCONTROLTYPE = tableConversion(tab, NONE) cUint
366 fun setVec(tab, addr) = (ignore(storeInt(addr, tab)); addr ++ sizeInt)
786 val tab = [ value
804 val (toCsd, fromCsd) = tableLookup(tab, NONE)
812 val tab = [ value
819 val (toCit, fromCit) = tableLookup(tab, NONE)
826 val tab = [ value
834 val (toCmkf, fromCmkf) = tableSetLookup(tab, NON
841 val tab = [ value
855 val tab = [ value
932 val tab = [ value
962 val tab = [ value
1007 val tab = value
3812 val tab = [ value
[all...]
H A DBase.sml683 val tab = [ value
720 val clipLookup = tableLookup (tab, SOME(fromInt, toInt))
/seL4-l4v-master/HOL4/src/parse/
H A Dtype_pp.sml173 fun tab i = str (Char.chr (Char.ord #"e" + i)) function
175 greek4 @ List.tabulate(numps - 4, tab)
H A Dterm_grammar.sml1035 val tab = ref (Binarymap.mkDict String.compare) value
1037 ((fn s => Binarymap.find(!tab, s)),
1038 (fn {name,code} => tab := Binarymap.insert(!tab, name, code)))
/seL4-l4v-master/HOL4/src/metis/
H A DmlibModel.sml623 fun tablify tab =
626 (map (fn l => (" " ^ hd l) :: map (fn x => " " ^ x) (tl l)) tab)) ^ "\n";
642 val tab = head @ map (fn y => i2s y :: "" :: map (f y) l) l value
644 tablify tab
/seL4-l4v-master/isabelle/src/Doc/Tutorial/document/
H A Dbasics.tex221 discusses overloading, while Table~\ref{tab:overloading} presents the most
258 the tutorial. Their \textsc{ascii}-equivalents are shown in table~\ref{tab:ascii} in
319 $\land$. For a list of the most frequent symbols see table~\ref{tab:ascii}
H A Dnumerics.tex18 used at all numeric types. Table~\ref{tab:overloading} in the appendix
/seL4-l4v-master/l4v/isabelle/src/Doc/Tutorial/document/
H A Dbasics.tex221 discusses overloading, while Table~\ref{tab:overloading} presents the most
258 the tutorial. Their \textsc{ascii}-equivalents are shown in table~\ref{tab:ascii} in
319 $\land$. For a list of the most frequent symbols see table~\ref{tab:ascii}
H A Dnumerics.tex18 used at all numeric types. Table~\ref{tab:overloading} in the appendix
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/
H A DSTRUCTVALSIG.sml121 tab: univTable,
H A DSIGNATURES.sml622 fun structsAndTypes((Struct{signat=Signatures { tab, typeIdMap, ... }, ...}, path, oldMap), start) =
632 univFold (tab, get, start)
755 val Signatures { name, tab, typeIdMap, firstBoundIndex, boundIds, locations, ...} = lookSig(name, loc);
794 makeSignature(name, tab, !idCount, locations, mapIds, [])
809 val resSig as Signatures { typeIdMap = idMap, tab = resTab, ... } =
1391 val Signatures { tab, name, locations, typeIdMap, ... } = resultSig
1401 makeSignature(name, tab, initTypeId, locations, finalMap, distinctIds)
H A DDEBUGGER_.sml194 val Signatures{ name = sigName, tab, typeIdMap, firstBoundIndex, locations=sigLocs, ... } = rSig
197 val newSig = makeSignature(sigName, tab, firstBoundIndex, sigLocs, composeMaps(typeIdMap, getFreeId), [])
/seL4-l4v-master/seL4/manual/parts/
H A Dcspace.tex150 in~\autoref{tab:rights}.
176 \caption{\label{tab:rights}seL4 access rights: What a specific right entitles a
190 there are exceptions. \autoref{tab:cap-derivation} summarises the
210 \caption{Capability derivation.\label{tab:cap-derivation}}
H A Dobjects.tex475 \caption{\label{tab:objsize} Meaning of \texttt{size\_bits} for object types of
/seL4-l4v-master/HOL4/polyml/basis/
H A DFinalPolyML.sml58 and lookup(tab, mutx) = protect mutx (fn s => sub(tab, s))
59 and enter(tab, mutx) = protect mutx (fn (s, v) => update(tab, s, v))
60 and all(tab, mutx) = protect mutx (fn () => fold (fn (s, v, l) => ((s, v) :: l)) [] tab)
61 and delete(tab, mutx) = protect mutx (fn s => HashArray.delete (tab, s))
/seL4-l4v-master/HOL4/src/postkernel/
H A DSharingTables.sml333 let fun str1 (s, tab) = #2 (new_string s tab)
/seL4-l4v-master/HOL4/tools/mllex/
H A Dmllex.sml46 scheme. Also removed tab characters from string literals.
941 say "\n(* transition & final state table *)\nval tab = let\n";
1277 sayln "\tval {fin,trans} = Vector.sub (Internal.tab, s)";
1280 sayln "\t if trans = #trans(Vector.sub(Internal.tab,0))";
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in430 -rm -f *.tab.c
/seL4-l4v-master/l4v/tools/haskell-translator/
H A Dlhs_pars.py137 sys.stderr.write('WARN: tab in line %d, %s.\n' %
1836 tab = left_start_table[lhs]
1838 nl = ('%s <- %s %s $ %s' % (left, lM, tab, right))
2516 sys.stderr.write('WARN: tab character in supplied')
/seL4-l4v-master/HOL4/polyml/
H A DMakefile.in636 -rm -f *.tab.c
H A Dltmain.sh6334 - Space and tab are interpreted as delimiters. They are not treated as
6337 that within double quotes, space and tab are treated like normal
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_SIMPLIFIER.sml1750 and enterAddr (addr, tab) = Array.update (addrTab, addr, SOME tab)
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A Dsystem.tex132 lo spazio (32), il carriage return (13), il line feed (10), il tab ({\verb+^+}I, 9),

Completed in 294 milliseconds

12