∀ {ρ : Type} {pat : ρ} [inst : String.Slice.Pattern.Model.PatternModel pat] {s : String.Slice} {startPos : s.Pos},
  String.Slice.Pattern.Model.PatternModel.Matches pat (s.sliceFrom startPos).copy →
    String.Slice.Pattern.Model.IsRevMatch pat startPos