package lustre-v6

  1. Overview
  2. Docs

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
OCaml

Innovation. Community. Security.