Newer
Older
(* Time-stamp: <modified the 26/02/2015 (at 13:45) by Erwan Jahier> *)
(** Main bis *)
(** [doit pl main_node] compiles the pack and model list using [main_node] as
main node. *)
val doit : Lv6MainArgs.t -> AstV6.pack_or_model list -> Lv6Id.idref option -> LicPrg.t
val get_source_list : Lv6MainArgs.t -> string list -> AstV6.pack_or_model list