package lutin

  1. Overview
  2. Docs

Module ExpEvalSource

Sourceval simp_exp : Exp.t -> Exp.t
Sourceval simp_num : Exp.num -> Exp.num
Sourceval simp_formula : Exp.formula -> Exp.formula
OCaml

Innovation. Community. Security.