def remove

minebender-game@1.0.0.0 · board.bend:139

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

139def remove(xs: List<&2, T.Pos>, +p: T.Pos) -> List<&2, T.Pos>:
140  match xs:
141    case Nil{}:
142      Nil{}
143    case +q <> t:
144      List.filter.put(T.Pos, q, remove(t, p), Bool.not(same(q, p)))