package zelus

  1. Overview
  2. Docs
val disc : Zelus.exp -> Zelus.exp -> Zelus.exp
val expression : Zelus.exp -> Zelus.exp -> Zelus.exp

Translation of expressions.

val equation : Zelus.exp -> Zelus.eq -> Zelus.eq
val equation_list : Zelus.exp -> Zelus.eq list -> Zelus.eq list
val block : Zelus.exp -> Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block

Translate a block

OCaml

Innovation. Community. Security.