Lines Matching refs:output_channel

18 let output_channel = ref stdout  var
20 let emit_string s = output_string !output_channel s
22 let emit_int n = output_string !output_channel (string_of_int n)
24 let emit_char c = output_char !output_channel c
26 let emit_nativeint n = output_string !output_channel (Nativeint.to_string n)
29   Printf.fprintf !output_channel fmt
38         output_char !output_channel c
40         Printf.fprintf !output_channel "%c%02x" esc (Char.code c)
50       then Printf.fprintf !output_channel "\\%o" (Char.code c)
51       else output_char !output_channel c
53       output_char !output_channel c;
56       Printf.fprintf !output_channel "\\%o" (Char.code c);