package zelus

  1. Overview
  2. Docs
val eq : Ident.t -> Zelus.exp -> Zelus.eq
val der_eq_zero : Ident.t -> Zelus.eq
val complete_eq_list : Deftypes.defnames -> Deftypes.defnames -> Zelus.eq list -> Zelus.eq list * Deftypes.defnames
val exp : Zelus.exp -> Zelus.exp
val equation : Zelus.eq -> Zelus.eq

Translation of equations.

val equation_list : Zelus.eq list -> Zelus.eq list
val block_eq_list : Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block
val match_handler_exp_list : Zelus.exp Zelus.match_handler list -> Zelus.exp Zelus.match_handler list
val match_handler_block_eq_list : Deftypes.defnames -> Zelus.eq list Zelus.block Zelus.match_handler list -> Zelus.eq list Zelus.block Zelus.match_handler list
val local : Zelus.local -> Zelus.local
val locals : Zelus.local list -> Zelus.local list
OCaml

Innovation. Community. Security.