law zero_charges_nil

bend-prot@0.1.0.0 · LAWS.bend:872

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

872# Zero charges over nothing is nothing.
873law zero_charges_nil:
874  {Sim.zero_charges(empty_atoms()) == Nil{} : List<&2, F32>}