let data_alpha_cv alpha d = match d with | D1null -> alpha, d | _ -> (* TODO *) Wp_parameters.not_yet_implemented "alpha conversion for data in caveat model"