Module Cil_const.Eid

module Eid: sig .. end

val next : unit -> int