law flatten_residues_append

bend-prot@0.1.0.0 · LAWS.bend:316

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

316# Flattening distributes over appending residue lists.
317law flatten_residues_append:
318  for xs: List<&2, P.Residue>
319  for ys: List<&2, P.Residue>
320  {P.flatten_residues(P.append_residues(xs, ys)) == P.append_atoms(P.flatten_residues(xs), P.flatten_residues(ys)) : List<&2, P.Atom>}