Finds the binding necessary to match the given pattern to the given quad. This function assumes it has been verified that the pattern can match the quad.
Pattern that can match the quad.
A quad that can be matched by the given pattern.
Finds the binding necessary to match the given pattern to the given quad. This function assumes it has been verified that the pattern can match the quad.