predefEvalConst.mli

(** Time-stamp: <modified the 28/08/2008 (at 17:01) by Erwan Jahier> *)
open Predef
open SyntaxTreeCore

exception EvalConst_error of string

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

type const_evaluator = Eff.const evaluator

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