~/jendhub

def direct

near-architecture@0.9.1.0 · arc.bend:539

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

539def direct(+want: Cap, xs: List<&2, Container>) -> Nat:
540  match xs:
541    case []:
542      0n
543    case c <> rest:
544      Nat.add(count_in(want, caps(c)), direct(want, rest))

Uses (7)

Used by (1)