fn all_params_have_types( param_types: &HashMap<String, Option<ConcreteDataType>>, param_num: usize, ) -> bool