~/jendhub

def count

bendtorch@1.3.0.0 · tensor.bend:475

import bendtorch@1.3.0.0/tensor.bend as Tensor
import Base

475def count(+k: Nat, p: List<&2, Nat>) -> Nat:
476  match p:
477    case Nil{}:
478      0n
479    case Con{+h, r}:
480      Nat.add(Bool.pick(Nat, Nat.is_eq(h, k), 1n, 0n), count(k, r))

Uses (5)

Used by (1)