Module Core.Scheduler_uidSource

Sourcetype t
Sourceval to_int : t -> int
Sourceval equal : t -> t -> bool
Sourceval next : unit -> t
Sourceval pp : Format.formatter -> t -> unit
Sourceval reset : unit -> unit