let
pred g v = fold_pred (
fun
n l
->
n :: l) g v []