lutin
LutPredef
LUTIN2 : identificateurs prédéfinis (dont opérateurs algébriques)
val lutin_env : CheckEnv.t
val infixed_tab : (string, string list) Hashtbl.t
val as_infixed_syntax : string -> string list option
val kw_tiny : string
val kw_huge : string
val kw_interval_goon : string
poids dynamique des boucles intervalle : les params sont
val kw_interval_stop : string
val kw_average_goon : string
val kw_average_stop : string
val kw_deadlock : string
val declare_op : string -> CkTypeEff.profile -> string list -> unit
val kw_not : string
val kw_or : string
val kw_xor : string
val kw_nxor : string
val kw_nor : string
val kw_diese : string
val kw_and : string
val kw_impl : string
val kw_eq : string
val kw_neq : string
val kw_ite : string
val kw_div : string
val kw_mod : string
val kw_uminus : string
val kw_plus : string
val kw_minus : string
val kw_times : string
val kw_slash : string
val kw_lt : string
val kw_gt : string
val kw_lte : string
val kw_gte : string