def count_in

near-architecture@0.9.1.0 · arc.bend:532

import near-architecture@0.9.1.0/arc.bend as Arc

import Base

532def count_in(+want: Cap, cs: List<&2, Cap>) -> Nat:
533  match cs:
534    case []:
535      0n
536    case c <> rest:
537      Nat.add(one_if(is_cap(want, c)), count_in(want, rest))

Uses (6)

Used by (4)