| /seL4-l4v-10.1.1/HOL4/Manual/Tools/ |
| H A D | polyscripter.sml | 293 val output = transformOutput umap ws (strip_for_thm raw_output) value
|
| /seL4-l4v-10.1.1/HOL4/developers/ |
| H A D | mosmlTextIO.sml | 11 val output : outstream * string -> unit value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/acl2/ |
| H A D | m1_progLib.sml | 72 val output = get_output_list f value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/ |
| H A D | decompilerLib.sml | 1548 val output = (filter (not o is_new_var) o free_vars o cdr o concl) th value
1586 val output = (filter is_new_var o free_vars o cdr o cdr o concl) th value
1589 val output = var_sorter (map strip_tag output) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
| H A D | x64_Lib.sml | 285 val output = map get_output diff value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/just-in-time/ |
| H A D | export_codeLib.sml | 69 val output = ["\n","\n",o1,o2,"\n"] @ rs @ ["\n",o3,"\n"] value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/ |
| H A D | export_codeLib.sml | 69 val output = ["\n","\n",o1,o2,"\n"] @ rs @ ["\n",o3,"\n"] value
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
| H A D | export_codeLib.sml | 74 val output = ["\n","\n",o1,o2,"\n"] @ rs @ ["\n",o3,"\n"] value
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/milawa-prover/ |
| H A D | milawa_coreScript.sml | 25 val output = foldr (fn (x,y) => x ^ y) "" text value
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | BasicStreamIO.sml | 692 fun output(f, v) = protectOut (outputVector(v, 0, Vector.length v)) f function
[all...] |
| H A D | IMPERATIVE_IO.sml | 38 val output : outstream * vector -> unit value
|
| H A D | ImperativeIO.sml | 132 fun output(OutStream{fStream=ref f, ...}, v) = StreamIO.output(f, v) function
|
| H A D | SML90.sml | 58 val output : outstream * string -> unit value
102 fun output(str, s) = TextIO.output(str, s) handle IO.Io _ => raise Io "Cannot output" function
|
| H A D | STREAM_IO.sml | 39 val output : outstream * vector -> unit value
|
| H A D | TextIO.sml | 50 val output : outstream * vector -> unit value
157 fun output(f, v) = function
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | CommonDialog.sml | 1035 val output = fromCstring(buff ++ Word.fromInt off2) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/ |
| H A D | InputOutput.sml | 57 val output : outstream * vector -> unit value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | Portable.sig | 221 val output: outstream * string -> unit value
|
| H A D | Portable.sml | 599 val output = TextIO.output value
|
| /seL4-l4v-10.1.1/HOL4/src/simp/src/ |
| H A D | Opening.sml | 208 fun output() = function
|
| /seL4-l4v-10.1.1/HOL4/tools-poly/Holmake/ |
| H A D | unix-systeml.sml | 132 fun output s = TextIO.output(ostrm, s) function
146 fun output s = TextIO.output(ostrm, s) function
[all...] |
| H A D | winNT-systeml.sml | 80 fun output s = TextIO.output(ostrm, s) function
97 fun output s = TextIO.output(ostrm, s) function
[all...] |
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | Holmake_tools.sml | 73 val output = value
|
| H A D | tailbuffer.sig | 7 val output : t -> {fulllines : string list, lastpartial : string, value
|
| H A D | tailbuffer.sml | 63 fun output ({v,i,full,s,max,patterns,...}:t) = function
|