Module Cil.Eid


module Eid: sig .. end

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