package zelus

  1. Overview
  2. Docs
val static : Zelus.exp -> bool

Static expressions

val reset : Zident.t option -> Zelus.eq -> Zelus.eq * Zident.t option
val condition : Zident.t option -> Zelus.exp * Zident.t option
val intro_equation : (Zident.t list * Zident.t option) -> Zelus.eq list -> Zelus.eq list * Zident.t list
val equation : (Zident.Env.key list * Zident.Env.key option) -> Zelus.eq -> Zelus.eq * (Zident.Env.key list * Zident.Env.key option)

Translation of equations.

val equation_list : (Zident.Env.key list * Zident.Env.key option) -> Zelus.eq list -> Zelus.eq list * (Zident.Env.key list * Zident.Env.key option)
val local : Zelus.local -> Zelus.local
val block : Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block

Translation of blocks

val exp : Zelus.exp -> Zelus.exp

Expressions.

OCaml

Innovation. Community. Security.