Implies(left: DirFormula, right: DirFormula)
Logical implication. A path will match this restriction only if does not match the left restriction or matches both left and right restriction.