law pdb_first_elem

bend-prot@0.1.0.0 · LAWS.bend:420

import Base
import bend-prot@0.1.0.0/pdb.bend as Pdb

420# ... and the first atom is nitrogen.
421law pdb_first_elem:
422  {Pdb.first_elem(Pdb.complex_of(Pdb.parse_pdb(Pdb.demo_text()))) == Some{7} : Maybe<&2, U32>}