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

val names : Zident.S.t -> 'a Zident.Env.t -> Zident.S.t

val fv_pat : Zident.S.t -> Zident.S.t -> Zelus.pattern -> Zident.S.t

val fv_block : 
  ((Zident.S.t * 'a) -> Zelus.local -> Zident.S.t * 'a) ->
  (Zident.S.t -> 'a -> 'b -> 'c) ->
  Zident.S.t ->
  'a ->
  'b Zelus.block ->
  Zident.S.t * 'c

val fv_match_handler : 
  (Zident.S.t -> 'a -> 'b -> 'a) ->
  'b Zelus.match_handler list ->
  Zident.S.t ->
  'a ->
  'a

val size : Zident.S.t -> Zelus.size -> Zident.S.t

val operator : Zident.S.t -> Zelus.op -> Zident.S.t

val fv : 
  Zident.S.t ->
  (Zident.S.t * Zident.S.t) ->
  Zelus.exp ->
  Zident.S.t * Zident.S.t

val fv_eq : 
  Zident.S.t ->
  (Zident.S.t * Zident.S.t) ->
  Zelus.eq ->
  Zident.S.t * Zident.S.t

val fv_eq_list : 
  Zident.S.t ->
  (Zident.S.t * Zident.S.t) ->
  Zelus.eq list ->
  Zident.S.t * Zident.S.t

val fv_local : 
  (Zident.S.t * (Zident.S.t * Zident.S.t)) ->
  Zelus.local ->
  Zident.S.t * (Zident.S.t * Zident.S.t)

val fv_block_eq_list : 
  Zident.S.t ->
  (Zident.S.t * Zident.S.t) ->
  Zelus.eq list Zelus.block ->
  Zident.S.t * Zident.S.t

val fve : Zident.S.t -> Zelus.exp -> Zident.S.t