package zelus

  1. Overview
  2. Docs
val block_of_eq : Zident.S.t -> Zelus.pattern -> Zelus.exp -> Zelus.eq list Zelus.block
val block_of_der : Zident.S.t -> Zident.t -> Zelus.exp -> Zelus.eq list Zelus.block
val present : Zident.S.t -> Zident.t -> Zelus.exp Zelus.present_handler list -> Zelus.exp -> Zelus.eq list -> Zelus.eq list
val der_present : Zident.S.elt -> Zelus.exp -> Zelus.exp option -> Zelus.exp Zelus.present_handler list -> Zelus.eq list -> Zelus.eq list
val exp : Zelus.exp -> Zelus.exp
val local : Zelus.local -> Zelus.local
val equation_list : Zelus.eq list -> Zelus.eq list
val equation : Zelus.eq list -> Zelus.eq -> Zelus.eq list
val block : Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block
val scondpat : Zelus.scondpat -> Zelus.scondpat
OCaml

Innovation. Community. Security.