Cprint.print

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

GODI Package godi-frontc

code_VALCprint.print.html

let print (result : out_channel) (defs : file) =

        out := result;

        print_defs defs

This web site is published by Informatikbüro Gerd Stolpmann