def collect_atoms
import bend-prot@0.1.0.0/pdb.bend as Pdbimport Base
import bend-prot@0.1.0.0/protein.bend as P
357def collect_atoms(lines: List<&2, String>) -> List<&1, U32 & Nat & P.Atom> & Nat:
358 collect_go(lines, (Nil{}, 0n))
import bend-prot@0.1.0.0/pdb.bend as Pdbimport Base
import bend-prot@0.1.0.0/protein.bend as P
357def collect_atoms(lines: List<&2, String>) -> List<&1, U32 & Nat & P.Atom> & Nat:
358 collect_go(lines, (Nil{}, 0n))