Pdb.write_atom_line: def of bend-prot@0.1.0.0
Import: import bend-prot@0.1.0.0/pdb.bend as Pdb
Lines 561-562 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=561&end_line=562

import Base

def write_atom_line(serial: U32, name4: String, chain1: String, seq: Nat, x: F32, y: F32, z: F32, elem2: String) -> String:
  String.append("ATOM  ", String.append(fmt_u32(5n, serial), String.append(" ", String.append(pad_right(name4, 4n), String.append(" UNK ", String.append(chain1, String.append(fmt_nat(4n, seq), String.append("    ", String.append(fmt_f83(x), String.append(fmt_f83(y), String.append(fmt_f83(z), String.append("  1.00  0.00          ", elem2))))))))))))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  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=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/pdb.bend&name=fmt_f83
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/pdb.bend&name=fmt_nat
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/pdb.bend&name=fmt_u32
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/pdb.bend&name=pad_right