law has_close_nil

bend-prot@0.1.0.0 · LAWS.bend:28

import Base
import bend-prot@0.1.0.0/geom.bend as G
import bend-prot@0.1.0.0/topology.bend as T

28# An empty set has no clash, at any point and threshold.
29law has_close_nil:
30  for qp: G.Vec3
31  for min2: F32
32  {T.has_close(empty_atoms(), qp, min2) == False{} : Bool}