let
sexp_fold ~int ~plus ~f =
function
| Int n -> int n
| Plus (e1, e2) -> plus (f e1) (f e2);;