def all_in

cli@0.2.0.0 · cli.bend:4441

import Base

4441def all_in(xs: List<&2, String>, +ys: List<&2, String>) -> Bool:
4442  match xs:
4443    case Nil{}: True{}
4444    case head <> tail:
4445      Bool.and(List.contains(~String, ~String.eq, ys, head),
4446        all_in(tail, ys))