law lj_total_elem_excl_nil

bend-prot@0.1.0.0 · LAWS.bend:635

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

635law lj_total_elem_excl_nil:
636  for ys: List<&2, P.Atom>
637  for c2: F32
638  for bonds: List<&2, U32>
639  {B.lj_total_elem_excl(empty_atoms(), ys, c2, bonds) == 0.0 : F32}