def count_chains

bend-prot@0.1.0.0 · protein.bend:149

import Base

149def count_chains(xs: List<&2, Chain>) -> Nat:
150  match xs:
151    case Nil{}:
152      0n
153    case h <> t:
154      1n+count_chains(t)