copilot-core-3.0: An intermediate representation for Copilot.
Copilot.Core.Random
Description
Random spec generator.
randomSpec :: Int -> Weights -> StdGen -> Spec Source #