law bonded12_hit

bend-prot@0.1.0.0 · LAWS.bend:567

import Base
import bend-prot@0.1.0.0/bonded.bend as B

567# A listed pair (either order) is 1-2 excluded.
568law bonded12_hit:
569  {B.bonded12_flat([1, 2], 1, 2) == True{} : Bool}