law ke_sim_nil

bend-prot@0.1.0.0 · LAWS.bend:850

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

850law ke_sim_nil:
851  {Sim.ke_sim_of(Nil{}) == 0.0 : F32}