Module Cil.Sid


module Sid: sig .. end

val next : unit -> int
val get : unit -> int