Up
–
Index
»
frama-c
»
Frama_c_kernel
»
Cil_const
» Eid
Module
Cil_const.Eid
val
next :
unit
->
int
deprecated
Use Cil_const.new_raw_eid instead.