(* Time-stamp: <modified the 12/02/2013 (at 18:07) by Erwan Jahier> *)

(** Performs static evaluations of predefined operators in constant expressions *)


open AstPredef
open AstCore

exception EvalConst_error of string

val type_error_const : Lic.const list -> string -> 'a
val arity_error_const : Lic.const list -> string -> 'a

type const_evaluator = Lic.const AstPredef.evaluator

(* That function says how to statically evaluate constants *)
val f: IdSolver.t -> AstPredef.op -> Lxm.t -> Lic.static_arg list -> const_evaluator