Previous  Up  

Module Util.Flag

module Flag: sig .. end
type gen = int Pervasives.ref
Generator of flags
val create : unit -> gen
New generator
val get_new : gen -> int
New flag from the generator (2*previous flag)