package zelus

  1. Overview
  2. Docs
val with_zero : Deftypes.tentry Zident.Env.t -> Zident.t option -> Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block * Zident.t option

Add an equation encore = true

val equation : Deftypes.tentry Zident.Env.t -> Zident.t option -> Zelus.eq -> Zelus.eq * Zident.t option
val equation_list : Deftypes.tentry Zident.Env.t -> Zident.t option -> Zelus.eq list -> Zelus.eq list * Zident.t option
val block : Deftypes.tentry Zident.Env.t -> Zident.t option -> Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block * Zident.t option

Translate a block

h is an horizon such that h = if encore then 0.0 else infinity

OCaml

Innovation. Community. Security.