Newer
Older
(* Time-stamp: <modified the 26/05/2014 (at 15:13) by Erwan Jahier> *)
Erwan Jahier
committed
(* The entry point for lus2lic -toC *)
val f : Lv6MainArgs.t -> Soc.tbl -> LicPrg.t -> unit
(* Time-stamp: <modified the 26/05/2014 (at 15:13) by Erwan Jahier> *)
(* The entry point for lus2lic -toC *)
val f : Lv6MainArgs.t -> Soc.tbl -> LicPrg.t -> unit