Module EvalConst


module EvalConst: sig .. end

exception EvalArray_error of string
val eval_const : CompileData.id_solver -> Syntaxe.val_exp -> CompileData.const_eff list
val eval_array_size : CompileData.id_solver -> Syntaxe.val_exp -> int
val eval_array_index : CompileData.id_solver -> Syntaxe.val_exp -> int -> int
val eval_array_slice : CompileData.id_solver ->
Syntaxe.slice_info -> int -> Lxm.t -> CompileData.slice_eff