package zelus

  1. Overview
  2. Docs
exception No_inline
val inline : bool -> Lident.t -> Zelus.funexp

or it is small enough

val reset : Zelus.exp -> Zelus.exp -> Zelus.exp

Building an expression let reset res = e every r in res

Build a renaming from an environment

val rename : Zident.Env.key -> 'a Zident.Env.t -> 'a

rename a variable

Renaming of type expressions

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

Rename an operator

Renaming of patterns

val expression : Zident.t Zident.Env.t -> Zelus.exp -> Zelus.exp

Renaming of expressions

Renaming a local declaration

val equation : Zident.t Zident.Env.t -> Zelus.eq -> Zelus.eq
OCaml

Innovation. Community. Security.