Module Cil_const.Vid


module Vid: sig .. end

val next : unit -> int
val reset : unit -> unit
val get : unit -> int
val self : State.t