Generate.maybe: def of bend-kit-property@0.4.0.0 Import: import bend-kit-property@0.4.0.0/generate.bend as Generate Lines 139-141 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=139&end_line=141 import Base import bend-kit-random@0.1.0.1/random.bend as Rand # None one time in four, else Some from gen. def maybe(~T: Data, ~gen: Rand.Rng -> T & Rand.Rng, r: Rand.Rng) -> Maybe<&2, T> & Rand.Rng: maybe.pick(~T, ~gen, Rand.below(4, r)) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe 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=maybe.pick https://jend.leeeet.dev/definition.txt?path=bend-kit-random@0.1.0.1/random.bend&name=Rng https://jend.leeeet.dev/definition.txt?path=bend-kit-random@0.1.0.1/random.bend&name=below