Skip to content
Snippets Groups Projects
Normal view Permalink
soc2c.mli 175 B
Newer Older
Erwan Jahier's avatar
Some more work on the soc2c code generator.  
Erwan Jahier committed
1 
(* Time-stamp: <modified the 02/06/2014 (at 14:28) by Erwan Jahier> *)
Erwan Jahier's avatar
Start working on the soc2c code generator (accessible via --to-c or-2c options).
Erwan Jahier committed
2 3 

(* The entry point for lus2lic -toC *)
Erwan Jahier's avatar
Some more work on the soc2c code generator.  
Erwan Jahier committed
4 
val f : Lv6MainArgs.t -> Soc.key -> Soc.tbl -> LicPrg.t -> unit