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

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

val horizon : 
  Zident.t option ->
  Zident.t list ->
  Zelus.eq list ->
  Zelus.eq list * Zident.t option

val equation : Zident.t option -> Zelus.eq -> Zelus.eq * Zident.t option

val equation_list : 
  Zident.t option ->
  Zelus.eq list ->
  Zelus.eq list * Zident.t option

val equation_list_with_horizon : 
  Zident.t option ->
  Deftypes.tentry Zident.Env.t ->
  Zelus.eq list ->
  Deftypes.tentry Zident.Env.t * Zelus.eq list * Zident.t option

val block : 
  Zident.t option ->
  Zelus.eq list Zelus.block ->
  Zelus.eq list Zelus.block * Zident.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