Generate.pair: def of bend-kit-property@0.4.0.0 Import: import bend-kit-property@0.4.0.0/generate.bend as Generate Lines 167-169 of bend-kit-property@0.4.0.0/generate.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-property@0.4.0.0/generate.bend&start_line=167&end_line=169 import Base import bend-kit-random@0.1.0.1/random.bend as Rand # ga's value then gb's, drawn in that order. def pair(~A: Type, ~B: Type, ~ga: Rand.Rng -> A & Rand.Rng, ~gb: Rand.Rng -> B & Rand.Rng, r: Rand.Rng) -> (A & B) & Rand.Rng: pair.fst(~A, ~B, ~gb, ga(r)) Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair https://jend.leeeet.dev/definition.txt?path=bend-kit-property@0.4.0.0/generate.bend&name=pair.fst https://jend.leeeet.dev/definition.txt?path=bend-kit-random@0.1.0.1/random.bend&name=Rng