law vv_full_nil

bend-prot@0.1.0.0 · LAWS.bend:840

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

840law vv_full_nil:
841  for dt: F32
842  {Sim.vv_full(Nil{}, dt) == Nil{} : List<&2, Sim.DynAtom>}