package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type scope =
  1. | Global
  2. | Function
  3. | 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.