let result_type env =
    match env.frame.return with
      | None -> Wp_parameters.fatal "no result type"
      | Some t -> t