package zelus

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

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

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

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