package zelus

  1. Overview
  2. Docs
val eq_last : Zident.t -> Zident.t -> Deftypes.typ -> Zelus.eq
val extend_block : 'a list Zelus.block -> Deftypes.tentry Zident.Env.t -> 'a list -> 'a list Zelus.block
val present_handlers : (Zelus.scondpat -> Zelus.scondpat) -> ('a -> 'b) -> 'a Zelus.present_handler list -> 'b Zelus.present_handler list
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_with_substitution : Zident.t Zident.Env.t -> Zelus.eq list Zelus.block -> Zident.t Zident.Env.t * Zelus.eq list Zelus.block
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
OCaml

Innovation. Community. Security.