law dyn_atoms_nil

bend-prot@0.1.0.0 · LAWS.bend:817

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

817law dyn_atoms_nil:
818  {Sim.dyn_atoms(Nil{}) == Nil{} : List<&2, P.Atom>}