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