package zelus

  1. Overview
  2. Docs
val build_table : Ident.t Ident.Env.t -> Zelus.eq list -> Ident.t Ident.Env.t * Zelus.eq list

every time some equation y = pre(n) already exists

val equation : Ident.t Ident.Env.t -> Zelus.eq -> Zelus.eq

the main entry for expressions. Warning: e must be in normal form

OCaml

Innovation. Community. Security.