Searched defs:spaces (Results 1 - 12 of 12) sorted by relevance
/seL4-l4v-10.1.1/HOL4/developers/ |
H A D | generateBuildSummary.sml | 56 val spaces = CharVector.tabulate(maxlen - size s, (fn _ => #" ")) value
|
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
H A D | armLib.sml | 80 val spaces = String.concat o Lib.separate " " value
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | mpoly.cpp | 476 int spaces = sprintf(p, "%S <%s>\n", argTable[j].argName, argTable[j].argHelp); local 483 int spaces = sprintf(p, "Debug options:\n"); local 489 int spaces = sprintf(p, "%S <%s>\n", debugOptTable[k].optName, debugOptTable[k].optHelp); local
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
H A D | Pretty.sml | 308 val (spaces, nextTab) = findTab(size f, tabs) value
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | Print.sig | 72 val spaces : int -> ppstream value
|
H A D | Print.sml | 232 fun spaces i = ppWord (spacesWord i); function
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Print.sig | 72 val spaces : int -> ppstream value
|
H A D | Print.sml | 232 fun spaces i = ppWord (spacesWord i); function
|
/seL4-l4v-10.1.1/HOL4/src/TeX/ |
H A D | mungeTools.sml | 220 fun spaces 0 = "" function
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/ |
H A D | codegenLib.sml | 135 fun spaces [] = 0 | spaces (x::xs) = if x = #" " then 1 + spaces xs else 0 function
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/x64_compiler/ |
H A D | x64_codegenLib.sml | 117 fun spaces [] = 0 | spaces (x::xs) = if x = #" " then 1 + spaces xs else 0 function
|
/seL4-l4v-10.1.1/HOL4/examples/elliptic/c_output/ |
H A D | c_outputLib.sml | 639 val spaces = ["",""]; value
|
Completed in 197 milliseconds