law vv_half_nil

bend-prot@0.1.0.0 · LAWS.bend:830

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

830law vv_half_nil:
831  for dt: F32
832  {Sim.vv_half(Nil{}, dt) == Nil{} : List<&2, Sim.DynAtom>}