package zelus

  1. Overview
  2. Docs
val eq_lx_last_m_m_x : Zident.t -> Zident.t -> Zident.t -> Deftypes.typ -> Zelus.eq list -> Zelus.eq list
val extend_block : 'a Zelus.block -> Deftypes.tentry Zident.Env.t -> Zelus.eq list -> 'a Zelus.block
val equation : Zident.t Zident.Env.t -> Zelus.eq -> Zelus.eq

Translation of equations.

val equation_list : Zident.t Zident.Env.t -> Zelus.eq list -> Zelus.eq list
val block_eq_list : Zident.t Zident.Env.t -> Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block
val present_handler_block_eq_list : Zident.t Zident.Env.t -> Zelus.eq list Zelus.block Zelus.present_handler list -> Zelus.eq list Zelus.block Zelus.present_handler list
val match_handler_block_eq_list : Zident.t Zident.Env.t -> Zelus.eq list Zelus.block Zelus.match_handler list -> Zelus.eq list Zelus.block Zelus.match_handler list
val locals : Zident.t Zident.Env.t -> Zelus.local list -> Zelus.local list
OCaml

Innovation. Community. Security.