lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module Parsers
val read_lut : string list -> Syntaxe.package
val reinit_parser : unit -> unit
val lexemize_lut : string -> unit