def memn

minebender-game@1.0.0.0 · proof_cells.bend:76

import Base

76# A Nat list contains i.
77def memn(xs: List<&2, Nat>, +i: Nat) -> Bool:
78  match xs:
79    case Nil{}:
80      False{}
81    case x <> t:
82      Nat.is_eq(x, i) || memn(t, i)