Board.contains: def of minebender-game@1.0.0.0
Import: import minebender-game@1.0.0.0/board.bend as Board
Lines 132-137 of minebender-game@1.0.0.0/board.bend: https://jend.leeeet.dev/read.txt?path=minebender-game@1.0.0.0/board.bend&start_line=132&end_line=137

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

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/board.bend&name=same
  https://jend.leeeet.dev/definition.txt?path=minebender-game@1.0.0.0/types.bend&name=Pos