law pdb_skipped_0

bend-prot@0.1.0.0 · LAWS.bend:409

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

409# ... with nothing skipped ...
410law pdb_skipped_0:
411  {Pdb.skipped_of(Pdb.parse_pdb(Pdb.demo_text())) == 0n : Nat}