law sd_norm_sweep_nil

bend-prot@0.1.0.0 · LAWS.bend:882

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

882# Normalized sweeps move nothing over nothing.
883law sd_norm_sweep_nil:
884  for dt: F32
885  {Sim.sd_norm_sweep(Nil{}, dt) == Nil{} : List<&2, Sim.DynAtom>}