Lines Matching refs:str
17 fun print_fail str = (print (str ^ "\n"); failwith str);
25 fun write_graph str =
28 | SOME f => TextIO.output (f,str)
38 fun write_txt_and_print str =
39 (if !writer_prints then print str else ())
43 fun write_line str =
44 (write_txt_and_print (str ^ "\n");
45 last_line_is_blank := (size str = 0))
46 fun write_section str =
48 write_line str;
49 write_line (String.translate (fn c => "=") str);
51 fun write_subsection str =
53 write_line str;
54 write_line (String.translate (fn c => "-") str);
56 fun write_indented_block str = let
57 val lines = String.tokens (fn c => c = #"\n") str