def count_atoms_in

bend-prot@0.1.0.0 · protein.bend:127

import Base

127def count_atoms_in(xs: List<&2, Residue>) -> Nat:
128  match xs:
129    case Nil{}:
130      0n
131    case h <> t:
132      Nat.add(count_atoms_in(t), atoms_of(h))