Module E_ACSL.Varname

type scope =
| Global
| Function
| Block
val get : scope:scope -> string -> string
  • returns

    a fresh variable name for the given scope wrt the given name.

val clear_locals : unit -> unit

Reset the generator for variables that are local to a block or a function.