def count

lawful-fields@0.1.1.0 · defs.bend:118

import Base

118# How many times sep occurs in xs.
119def count(xs: List<&2, U32>, +sep: U32) -> Nat:
120  match xs:
121    case Nil{}:
122      0n
123    case Con{+x, t}:
124      count.if(U32.is_eq(x, sep), count(t, sep))