let coqc_for_model ~model = let dir = Wp_parameters.get_output () in Printf.sprintf "%s/%s_model.v" dir model