def String.contains.if

Base · base.bend:2119

2119def String.contains.if(t: String, p: String, here: Bool) -> Bool:
2120  match here:
2121    case False{}:
2122      String.contains(t, p)
2123    case True{}:
2124      True{}