Module Cil.Sid

module Sid: sig .. end

val next : unit -> int