lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module Lexeme
val new_line : Lexing.lexbuf -> unit
type t = {
str : string;
file : string;
line : int;
cstart : int;
cend : int;
chstart : int;
chend : int;
}
val to_string : t -> string
type 'a srcflaged = {
src : t;
it : 'a;
}
val flagit : 'a -> t -> 'a srcflaged
val dummy : t
val set_current_file : string -> unit
val make : Lexing.lexbuf -> t
val last_made : unit -> t