law append_atoms_assoc

bend-prot@0.1.0.0 · LAWS.bend:309

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

309# Appending atom lists associates.
310law append_atoms_assoc:
311  for xs: List<&2, P.Atom>
312  for ys: List<&2, P.Atom>
313  for zs: List<&2, P.Atom>
314  {P.append_atoms(P.append_atoms(xs, ys), zs) == P.append_atoms(xs, P.append_atoms(ys, zs)) : List<&2, P.Atom>}