law pdb_num_residues

bend-prot@0.1.0.0 · LAWS.bend:401

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

401# ... in one residue ...
402law pdb_num_residues:
403  {P.Complex.num_residues(Pdb.complex_of(Pdb.parse_pdb(Pdb.demo_text()))) == 1n : Nat}