Generalize constr_name, used in Constr_for and others, to be a predicate beyond regexps. #11
{{ message }}
Generalize
constr_name, used in Constr_for and others, to be a predicate beyond regexps. #11