law dyn_of_atoms_nil

bend-prot@0.1.0.0 · LAWS.bend:809

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

809law dyn_of_atoms_nil:
810  {Sim.dyn_of_atoms(empty_atoms()) == Nil{} : List<&2, Sim.DynAtom>}