SchedulerTests.S
module CFG : sig ... end
type t
val schedule_succs : t -> CFG.Node.t -> t
val pop : t -> (CFG.Node.t * CFG.Node.id list * t) option
val empty : CFG.t -> t