package zelus

  1. Overview
  2. Docs
val new_prob : unit -> Zident.t
val prob_varpat : Zident.t -> Zelus.pattern
val prob_var : Zident.t -> Zelus.exp
val expression : Zident.t -> Zelus.exp -> Zelus.exp

Translation of expressions.

val equation : Zident.t -> Zelus.eq -> Zelus.eq
val equation_list : Zident.t -> Zelus.eq list -> Zelus.eq list
val block : Zident.t -> Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block

Translate a block

val local : Zident.t -> Zelus.local -> Zelus.local
OCaml

Innovation. Community. Security.