package lutin

  1. Overview
  2. Docs
val simp_exp : Exp.t -> Exp.t
val simp_num : Exp.num -> Exp.num
val simp_formula : Exp.formula -> Exp.formula
OCaml

Innovation. Community. Security.