def count_atoms

import bend-prot@0.1.0.0/protein.bend as Protein

import Base

44def count_atoms(xs: List<&2, Atom>) -> Nat:
45  match xs:
46    case Nil{}:
47      0n
48    case h <> t:
49      1n+count_atoms(t)

Uses (3)