Module Cil_const.Sid

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