`module IdSet = CFG.Node.IdSet`
`type t``= InferModules__Scheduler.ReversePostorder(MockProcCfg).WorkUnit.t``=` `{`

`node : CFG.Node.t;`
`visited_preds : IdSet.t;`
`priority : int;`

`}```
`val node : t ‑> CFG.Node.t`
`val visited_preds : t ‑> IdSet.elt list`
`val priority : t ‑> int`
`val compute_priority : CFG.t ‑> CFG.Node.t ‑> IdSet.t ‑> int`
`val make : CFG.t ‑> CFG.Node.t ‑> t`
`val add_visited_pred : CFG.t ‑> t ‑> IdSet.elt ‑> t`