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