package zelus

  1. Overview
  2. Docs
val new_time : unit -> Zident.t
val up : 'a -> 'b -> 'c -> 'c
val expression : Zelus.exp -> Zident.t -> Zelus.exp -> Zelus.exp

Translation of expressions.

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

Translate a block

OCaml

Innovation. Community. Security.