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