def contains

minebender-game@1.0.0.0 · board.bend:132

import Base
import minebender-game@1.0.0.0/types.bend as T

132def contains(xs: List<&2, T.Pos>, +p: T.Pos) -> Bool:
133  match xs:
134    case Nil{}:
135      False{}
136    case q <> t:
137      same(q, p) || contains(t, p)