let
succ g v = fold_succ (
fun
n l
->
n :: l) g v []