law vv_scale_cons

bend-prot@0.1.0.0 · LAWS.bend:824

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

824law vv_scale_cons:
825  for h: Sim.DynAtom
826  for t: List<&2, Sim.DynAtom>
827  for lam: F32
828  {Sim.vv_scale(h <> t, lam) == Sim.vv_scale_head(h, lam) <> Sim.vv_scale(t, lam) : List<&2, Sim.DynAtom>}