def count_residues

bend-prot@0.1.0.0 · protein.bend:51

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

import Base

51def count_residues(xs: List<&2, Residue>) -> Nat:
52  match xs:
53    case Nil{}:
54      0n
55    case h <> t:
56      1n+count_residues(t)

Uses (3)

Used by (2)