package zelus

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

Module Horizon

val horizon : Ident.t option -> Ident.t list -> Zelus.eq list -> Zelus.eq list * Ident.t option
val equation : Ident.t option -> Zelus.eq -> Zelus.eq * Ident.t option
val equation_list : Ident.t option -> Zelus.eq list -> Zelus.eq list * Ident.t option
val equation_list_with_horizon : Ident.t option -> Deftypes.tentry Ident.Env.t -> Zelus.eq list -> Deftypes.tentry Ident.Env.t * Zelus.eq list * Ident.t option
val block : Ident.t option -> Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block * Ident.t option

Translate a block

val expression : Zelus.exp -> Zelus.exp