law contacts_between_nil

bend-prot@0.1.0.0 · LAWS.bend:42

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

42# An empty set links nothing to anything.
43law contacts_between_nil:
44  for ys: List<&2, P.Atom>
45  for c2: F32
46  {T.contacts_between(empty_atoms(), ys, c2) == 0n : Nat}