package zelus

  1. Overview
  2. Docs
val let_value : Zelus.exp -> Zelus.exp
val let_last_value : Zelus.exp option -> Zelus.exp -> Zelus.exp
val let_zero_value : Zelus.exp -> Zelus.exp
val exp : Zelus.exp -> Zelus.exp

Translation of expressions.

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

Translation of equations.

val equation_list : Zident.t Zident.Env.t -> Zelus.eq list -> Zelus.eq list -> Zelus.eq list
val local : Zelus.local -> Zelus.local
OCaml

Innovation. Community. Security.