law count_flatten_eq

bend-prot@0.1.0.0 · LAWS.bend:345

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

345# Counting a flattening agrees with counting residues in place.
346law count_flatten_eq:
347  for rs: List<&2, P.Residue>
348  {P.count_atoms(P.flatten_residues(rs)) == P.count_atoms_in(rs) : Nat}