copilot-core-0.2.2: An intermediate representation for Copilot.
Copilot.Core.Random
Description
Random spec generator.
randomSpec :: Int -> Weights -> StdGen -> SpecSource