```Ocaml
# let double_succ