Docs GODI Archive
Projects Blog Link DB

Search GODI:


More options
File doc/godi-frontc/html/code_VALCprint.print_commas.html GODI Package godi-frontc
 
   code_VALCprint.print_commas.html  
let print_commas nl fct lst =
        let _ = List.fold_left
                (fun com elt ->
                        if com then begin
                                print ",";
                                if nl then new_line () else space ()
                        end else ();
                        fct elt;
                        true)
                false
                lst in
        ()
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml