law min_link2_nil_right

bend-prot@0.1.0.0 · LAWS.bend:289

import Base
import bend-prot@0.1.0.0/protein.bend as P
import bend-prot@0.1.0.0/topology.bend as T

289# No closest approach exists from any set held against nothing.
290law min_link2_nil_right:
291  for xs: List<&2, P.Atom>
292  {T.min_link2(xs, empty_atoms()) == None{} : Maybe<&2, F32>}