Lines Matching defs:output
1548 val output = (filter (not o is_new_var) o free_vars o cdr o concl) th
1562 val th = foldr new_abbrev th output
1571 (* extract: step function and input, output tuples *)
1586 val output = (filter is_new_var o free_vars o cdr o cdr o concl) th
1589 val output = var_sorter (map strip_tag output)
1601 fun set_input_output NONE = (input,output)
1603 val (input,output) = set_input_output function_in_out
1615 val x_out = list_mk_pair output
1617 val new_output = list_mk_pair (map add_new_tag output)
1694 val vs = diff new_top (dest_tuple new_output @ output)