Searched defs:indent (Results 1 - 22 of 22) sorted by relevance

/seL4-l4v-master/HOL4/examples/dev/sw/
H A DAssem.sml43 val indent = " " value
H A DIR.sml442 let val indent = " "; value
H A DannotatedIR.sml46 fun indent 0 = () function
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/
H A DAssem.sml43 val indent = " " value
H A DIR.sml314 let val indent = " "; value
H A DannotatedIR.sml36 fun indent 0 = () function
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/
H A DAssem.sml43 val indent = " " value
H A DIR.sml297 let val indent = " "; value
H A DannotatedIR.sml36 fun indent 0 = () function
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DOptions.sml144 fun indent (s, "" :: l) = indent (s ^ " ", l) | indent x = x function
H A DPrint.sml619 val indent = 0 value
736 and indent = blockIndent + extraIndentBreak b value
840 and indent = 0 value
848 val indent = indent + indentFrame top value
986 and indent = indent + pathIndent value
1121 val indent = 0 value
1133 and indent = 0 value
1195 and indent = indentBlock block value
[all...]
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DOptions.sml144 fun indent (s, "" :: l) = indent (s ^ " ", l) | indent x = x function
H A DPrint.sml619 val indent = 0 value
736 and indent = blockIndent + extraIndentBreak b value
840 and indent = 0 value
848 val indent = indent + indentFrame top value
986 and indent = indent + pathIndent value
1121 val indent = 0 value
1133 and indent = 0 value
1195 and indent = indentBlock block value
[all...]
/seL4-l4v-master/HOL4/tools/Holmake/
H A DGetOpt.sml66 val indent = StringCvt.padLeft #" " (ms1 + ms2 + 6) value
/seL4-l4v-master/l4v/tools/c-parser/standalone-parser/
H A DGetOpt.sml73 val indent = StringCvt.padLeft #" " (ms1 + ms2 + 6) value
/seL4-l4v-master/HOL4/examples/dev/sw2/
H A DSALGen.sml215 val indent = " " value
/seL4-l4v-master/HOL4/tools/
H A Dholscript-mode.el[all...]
/seL4-l4v-master/HOL4/src/portableML/
H A DOldPP.sml215 fun indent (ofn,i) = ofn (nspaces i) function
/seL4-l4v-master/HOL4/src/proofman/
H A DgoalStack.sml310 fun indent n p = add_string (CharVector.tabulate(n, fn _ => #" ")) >> function
/seL4-l4v-master/HOL4/Manual/Tools/
H A Dpolyscripter.sml282 val indent = String.size ws value
[all...]
/seL4-l4v-master/HOL4/src/AI/
H A DaiLib.sig126 val indent: int -> string value
H A DaiLib.sml482 fun indent n = implode (duplicate n [#" "]) function

Completed in 205 milliseconds