method select (_ : Ocvs_types.cvs_info) = ()