Module LogtkUtil.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)