Pdb.write_atoms: def of bend-prot@0.1.0.0
Import: import bend-prot@0.1.0.0/pdb.bend as Pdb
Lines 574-579 of bend-prot@0.1.0.0/pdb.bend: https://jend.leeeet.dev/read.txt?path=bend-prot@0.1.0.0/pdb.bend&start_line=574&end_line=579

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

def write_atoms(xs: List<&2, P.Atom>, +chain1: String, +seq: Nat) -> List<&2, String>:
  match xs:
    case Nil{}:
      Nil{}
    case h <> t:
      write_atom(h, chain1, seq) <> write_atoms(t, chain1, seq)

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/pdb.bend&name=write_atom
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/protein.bend&name=Atom