law bonded12_miss

bend-prot@0.1.0.0 · LAWS.bend:571

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

571# An unlisted pair is not.
572law bonded12_miss:
573  {B.bonded12_flat([1, 2], 1, 3) == False{} : Bool}