package zelus

  1. Overview
  2. Docs
type zenv = {
  1. env : Deftypes.tentry Ident.Env.t;
  2. ren : Ident.t Ident.Env.t;
  3. size : int;
}
val zempty : zenv
val vars_of_env : Zelus.vardec list -> 'a Ident.Env.t -> Zelus.vardec list
val parallel : zenv -> zenv -> zenv
val sharp : zenv -> zenv -> zenv
val equation : Zelus.eq -> Zelus.eq * zenv
val equation_list : Zelus.eq list -> Zelus.eq list * zenv
val block : Zelus.eq list Zelus.block -> Zelus.eq list Zelus.block * zenv
val rename_expression : Ident.Env.key Ident.Env.t -> Zelus.exp -> Zelus.exp
val rename_equation : Ident.Env.key Ident.Env.t -> Zelus.eq -> Zelus.eq
val rename_equation_list : Ident.Env.key Ident.Env.t -> Zelus.eq list -> Zelus.eq list
val local : Zelus.local -> Zelus.local
val expression : Zelus.exp -> Zelus.exp
OCaml

Innovation. Community. Security.