Searched defs:output (Results 26 - 35 of 35) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/Manual/Tools/
H A Dpolyscripter.sml293 val output = transformOutput umap ws (strip_for_thm raw_output) value
/seL4-l4v-10.1.1/graph-refine/
H A Dstack_logic.py348 def output (n): function in function:adjusted_var_dep_outputs
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/milawa-prover/
H A Dmilawa_coreScript.sml25 val output = foldr (fn (x,y) => x ^ y) "" text value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DBasicStreamIO.sml692 fun output(f, v) = protectOut (outputVector(v, 0, Vector.length v)) f function
[all...]
H A DTextIO.sml50 val output : outstream * vector -> unit value
157 fun output(f, v) = function
[all...]
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig221 val output: outstream * string -> unit value
H A DPortable.sml599 val output = TextIO.output value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHolmake_tools.sml73 val output = value
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DCommonDialog.sml1035 val output = fromCstring(buff ++ Word.fromInt off2) value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml1548 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...]

Completed in 411 milliseconds

12