Module SchedulerTests.MockProcCfg
val equal_id : IStdlib.IStd.Int.t -> IStdlib.IStd.Int.t -> bool
val fold_succs :
(IStdlib.IStd.Int.t * 'a list) list ->
IStdlib.IStd.Int.t ->
init:'b ->
f:('c -> 'a -> 'c) ->
'd
val fold_preds :
('a * IStdlib.IStd.Int.t list) list ->
IStdlib.IStd.Int.t ->
init:'b ->
f:('c -> 'd -> 'c) ->
'e
val fold_nodes : ('a * 'b) list -> init:'c -> f:('d -> 'e -> 'd) -> 'f
val fold_normal_succs :
(IStdlib.IStd.Int.t * 'a list) list ->
IStdlib.IStd.Int.t ->
init:'b ->
f:('b -> 'a -> 'b) ->
'b
val fold_normal_preds :
('a * IStdlib.IStd.Int.t list) list ->
IStdlib.IStd.Int.t ->
init:'b ->
f:('b -> 'a -> 'b) ->
'b
val fold_exceptional_succs : 'a -> 'b -> init:'c -> f:'d -> 'e
val fold_exceptional_preds : 'a -> 'b -> init:'c -> f:'d -> 'e
val from_adjacency_list : 'a -> 'b
val start_node : 'a -> int
val exn_sink_node : 'a -> 'b
val from_pdesc : 'a -> 'b
val is_loop_head : 'a -> 'b