Cprint.print

File doc/godi-frontc/html/code_VALCprint.print_tab.html

GODI Package godi-frontc

code_VALCprint.print_tab.html

let print_tab size =

        output_string !out (String.make (size / 8) '\t');

        output_string !out (String.make (size mod 8) ' ')

This web site is published by Informatikbüro Gerd Stolpmann