Module Cil.Eid


module Eid: sig .. end

val next : unit -> int