Functor Cil_const.Build_Counter


module Build_Counter: 
functor (Name : sig
val name : string
end) -> sig .. end
creates a new counter that is project-aware. TODO: internalize this module and put all its instances from Cil to here.
Parameters:
Name : sig val name:string end

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