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