def write_atoms
import bend-prot@0.1.0.0/pdb.bend as Pdbimport Base
import bend-prot@0.1.0.0/protein.bend as P
574def write_atoms(xs: List<&2, P.Atom>, +chain1: String, +seq: Nat) -> List<&2, String>:
575 match xs:
576 case Nil{}:
577 Nil{}
578 case h <> t:
579 write_atom(h, chain1, seq) <> write_atoms(t, chain1, seq)