{
    "type": "package",
    "name": "mtonnberg/refinement-proofs",
    "summary": "Refinement types in elm",
    "license": "BSD-3-Clause",
    "version": "5.0.0",
    "exposed-modules": [
        "RefinementProofs.Proofs.StringProofs",
        "RefinementProofs.Proofs.ListProofs",
        "RefinementProofs.Proofs.NumberProofs",
        "RefinementProofs.Theory",
        "RefinementProofs.Context"
    ],
    "elm-version": "0.19.0 <= v < 0.20.0",
    "dependencies": {
        "elm/core": "1.0.0 <= v < 2.0.0"
    },
    "test-dependencies": {
        "elm/random": "1.0.0 <= v < 2.0.0",
        "elm-explorations/test": "1.2.1 <= v < 2.0.0"
    }
}