Newer
Older
(* Time-stamp: <modified the 29/08/2019 (at 14:59) by Erwan Jahier> *)
(** Performs static evaluations of predefined operators in constant expressions *)
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