law pdb_num_atoms

bend-prot@0.1.0.0 · LAWS.bend:397

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

397# The two-line ALA snippet parses to two atoms ...
398law pdb_num_atoms:
399  {P.Complex.num_atoms(Pdb.complex_of(Pdb.parse_pdb(Pdb.demo_text()))) == 2n : Nat}