def write_atom_pos
import bend-prot@0.1.0.0/pdb.bend as Pdbimport Base
import bend-prot@0.1.0.0/geom.bend as G
564def write_atom_pos(serial: U32, +elem: U32, pos: G.Vec3, chain1: String, seq: Nat) -> String:
565 match pos:
566 case G.V3{x, y, z}:
567 write_atom_line(serial, String.append(" ", String.append(elem_sym(elem), " ")), chain1, seq, x, y, z, pad_left(elem_sym(elem), 2n))