def pair

bend-kit-property@0.4.0.0 · generate.bend:167

import Base
import bend-kit-random@0.1.0.1/random.bend as Rand

167# ga's value then gb's, drawn in that order.
168def pair(~A: Type, ~B: Type, ~ga: Rand.Rng -> A & Rand.Rng, ~gb: Rand.Rng -> B & Rand.Rng, r: Rand.Rng) -> (A & B) & Rand.Rng:
169  pair.fst(~A, ~B, ~gb, ga(r))