law contacts_nil_right

bend-prot@0.1.0.0 · LAWS.bend:283

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

283# Nothing links to anything, however many heads are peeled.
284law contacts_nil_right:
285  for xs: List<&2, P.Atom>
286  for c2: F32
287  {T.contacts_between(xs, empty_atoms(), c2) == 0n : Nat}