~/jendhub

def Chain.num_residues

bend-prot@0.1.0.0 · protein.bend:98

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

98def Chain.num_residues(c: Chain) -> Nat:
99  match c:
100    case Chain{cid, residues}:
101      count_residues(residues)

Uses (3)

Used by (0)

No other definition uses this definition.