let
succ_list graph q =
G
.fold_succ (
fun
p acc
->
p :: acc ) graph q []