Squelette is to test, the rest is in the constr_regex.ml.
A grep, based on regular expression recognition, that works in infix notation.