Horizon (p.zelus.2.1.doc.zelus.zlcompilerlibs.Horizon)

val gather_horizons : 
  Deftypes.tentry Ident.Env.t ->
  Ident.Env.key list * Deftypes.tentry Ident.Env.t

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

val implementation : 
  Zelus.implementation_desc Zelus.localized ->
  Zelus.implementation_desc Zelus.localized

val implementation_list : 
  Zelus.implementation_desc Zelus.localized list ->
  Zelus.implementation_desc Zelus.localized list