~/jendhub

def Complex.num_chains

bend-prot@0.1.0.0 · protein.bend:156

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

156def Complex.num_chains(k: Complex) -> Nat:
157  match k:
158    case Complex{chains}:
159      count_chains(chains)

Uses (3)

Used by (1)