law bond_total_nil

bend-prot@0.1.0.0 · LAWS.bend:521

import Base
import bend-prot@0.1.0.0/bonded.bend as B

521# No bonds bind nothing.
522law bond_total_nil:
523  for k: F32
524  {B.bond_total(empty_atoms(), Nil{}, k) == 0.0 : F32}