package zelus

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

Translate a block

val expression : Zelus.exp -> Zelus.exp
OCaml

Innovation. Community. Security.