package frama-c

  1. Overview
  2. Docs

Module Cil_const.Vid

val next : unit -> int
  • deprecated Use Cil_const.new_raw_vid instead.