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