law pdb_num_chains

bend-prot@0.1.0.0 · LAWS.bend:405

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

405# ... in one chain ...
406law pdb_num_chains:
407  {P.Complex.num_chains(Pdb.complex_of(Pdb.parse_pdb(Pdb.demo_text()))) == 1n : Nat}