law has_close_single

bend-prot@0.1.0.0 · LAWS.bend:212

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

212# One atom is close exactly when its head test says so.
213law has_close_single:
214  for h: P.Atom
215  for qp: G.Vec3
216  for min2: F32
217  {T.has_close([h], qp, min2) == T.head_is_close(h, qp, min2) : Bool}