lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module CheckEnv
type t
val create : unit -> t
val copy : t -> t
val add_libs : t -> string list -> t
val get_exp_type : t -> Syntaxe.val_exp -> CkTypeEff.t
val get_binding : t -> Syntaxe.ident -> CkIdentInfo.t
val set_exp_type : t -> Syntaxe.val_exp -> CkTypeEff.t -> unit
type scope_key
val restore : t -> scope_key -> unit
type typed_ids = (Syntaxe.ident * Syntaxe.type_exp) list
type eff_typed_ids = (Syntaxe.ident * CkTypeEff.t) list
val add_formal_params : t -> typed_ids option -> scope_key
val add_support_vars : t -> eff_typed_ids -> scope_key
val add_global_cst : t -> Syntaxe.ident -> CkTypeEff.t -> scope_key
val add_local_cst : t -> Syntaxe.ident -> CkTypeEff.t -> scope_key
val add_support_profile : t -> eff_typed_ids -> eff_typed_ids -> scope_key
val add_predef_op : t -> string -> CkTypeEff.profile -> scope_key
val add_predef_cst : t -> string -> CkTypeEff.t -> scope_key
val get_ident_info : t -> Syntaxe.ident -> CkIdentInfo.t
val nature_of_ident : t -> Syntaxe.ident -> CkIdentInfo.nature
val type_of_ident : t -> Syntaxe.ident -> CkTypeEff.t
val dbg_dump : t -> unit