lutils

Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)
Library lutils
Module Luciole
type vn_ct = string * string
val gen_stubs : ?boot:bool -> string -> vn_ct list -> vn_ct list -> unit