Add support for more tactics in spec patterns
Our spec patterns support //
, but sometimes one wants to use other tactics -- most frequently eauto with iFrame
. Would be nice to have time way to support them.
Ssreflect itself has 10 numbered patterns (not entirely sure about the syntax for those -- @Blaisorblade?) and /[name]
for named patterns (not sure what the syntax is for declaring one).