package zelus

  1. Overview
  2. Docs
package zelus
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Period

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