law fan_triples_golden

bend-prot@0.1.0.0 · LAWS.bend:974

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

974# A fan over [3, 4] from (1, 2) lists both triples.
975law fan_triples_golden:
976  {B.fan_triples(1, 2, [3, 4]) == [(1, 2, 3), (1, 2, 4)] : List<&1, U32 & U32 & U32>}