-
Erwan Jahier authored
BTW, put everything that concerns node environement into the new IdSolver module (from the Lic module).
Erwan Jahier authoredBTW, put everything that concerns node environement into the new IdSolver module (from the Lic module).
licEvalConst.mli 535 B
(* 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