lutin

Lutin: modeling stochastic reactive systems
IN THIS PACKAGE
Module Glue
val lucky_type_of : CkTypeEff.t -> Type.t
val lucky_exp_zero : Exp.t
val lucky_exp_of_value : Value.t -> Exp.t
val lucky_exp_var_ref : Exp.var -> Exp.t
type id2exp = bool -> CoAlgExp.node -> Exp.t
val lucky_var_of : id2exp -> Expand.support_info -> Exp.var
val lucky_exp_of : bool -> id2exp -> CoAlgExp.t -> Exp.t