sig
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
end