law complex_flatten_eq

bend-prot@0.1.0.0 · LAWS.bend:350

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

350# A complex holds as many atoms as its flattening lists.
351law complex_flatten_eq:
352  for chains: List<&2, P.Chain>
353  {P.Complex.num_atoms(P.Complex{chains}) == P.count_atoms(P.Complex.flatten(P.Complex{chains})) : Nat}