law bonded12_nil

bend-prot@0.1.0.0 · LAWS.bend:561

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

561# No bonds exclude nothing.
562law bonded12_nil:
563  for a: U32
564  for b: U32
565  {B.bonded12_flat(Nil{}, a, b) == False{} : Bool}