/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
H A D | WinBase.sml | 178 val tab = [ value 196 val cWINDOWPOSITIONSTYLE = tableSetConversion(tab, SOME(SWP_OTHER, toWord))
|
H A D | DeviceContext.sml | 408 val tab = [ value 423 val DEVICECONTEXTFLAG = tableSetConversion(tab, NONE) 435 val tab = [ value 456 val ENUMOBJECT = tableConversion(tab, SOME(fromInt, toInt)) cUint
|
H A D | Message.sml | 101 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 D | Base.sml | 683 val tab = [ value 720 val clipLookup = tableLookup (tab, SOME(fromInt, toInt))
|
/seL4-l4v-master/HOL4/src/parse/ |
H A D | type_pp.sml | 173 fun tab i = str (Char.chr (Char.ord #"e" + i)) function 175 greek4 @ List.tabulate(numps - 4, tab)
|
H A D | term_grammar.sml | 1035 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 D | mlibModel.sml | 623 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 D | basics.tex | 221 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 D | numerics.tex | 18 used at all numeric types. Table~\ref{tab:overloading} in the appendix
|
/seL4-l4v-master/l4v/isabelle/src/Doc/Tutorial/document/ |
H A D | basics.tex | 221 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 D | numerics.tex | 18 used at all numeric types. Table~\ref{tab:overloading} in the appendix
|
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ |
H A D | STRUCTVALSIG.sml | 121 tab: univTable,
|
H A D | SIGNATURES.sml | 622 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 D | DEBUGGER_.sml | 194 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 D | cspace.tex | 150 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 D | objects.tex | 475 \caption{\label{tab:objsize} Meaning of \texttt{size\_bits} for object types of
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | FinalPolyML.sml | 58 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 D | SharingTables.sml | 333 let fun str1 (s, tab) = #2 (new_string s tab)
|
/seL4-l4v-master/HOL4/tools/mllex/ |
H A D | mllex.sml | 46 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 D | Makefile.in | 430 -rm -f *.tab.c
|
/seL4-l4v-master/l4v/tools/haskell-translator/ |
H A D | lhs_pars.py | 137 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 D | Makefile.in | 636 -rm -f *.tab.c
|
H A D | ltmain.sh | 6334 - 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 D | CODETREE_SIMPLIFIER.sml | 1750 and enterAddr (addr, tab) = Array.update (addrTab, addr, SOME tab)
|
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/ |
H A D | system.tex | 132 lo spazio (32), il carriage return (13), il line feed (10), il tab ({\verb+^+}I, 9),
|