~/jendhub

def Chain.num_atoms

bend-prot@0.1.0.0 · protein.bend:139

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

139def Chain.num_atoms(c: Chain) -> Nat:
140  match c:
141    case Chain{cid, residues}:
142      count_atoms_in(residues)

Uses (3)

Used by (0)

No other definition uses this definition.