~/jendhub

def Residue.num_atoms

bend-prot@0.1.0.0 · protein.bend:93

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

93def Residue.num_atoms(r: Residue) -> Nat:
94  match r:
95    case Residue{seq, atoms}:
96      count_atoms(atoms)

Uses (3)

Used by (0)

No other definition uses this definition.