law dyn_of_atoms_cons

bend-prot@0.1.0.0 · LAWS.bend:812

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

812law dyn_of_atoms_cons:
813  for h: P.Atom
814  for t: List<&2, P.Atom>
815  {Sim.dyn_of_atoms(h <> t) == Sim.dyn_of_atom(h) <> Sim.dyn_of_atoms(t) : List<&2, Sim.DynAtom>}