Module Cil.Eid

module Eid: sig .. end

val next : unit -> int