Arbitrary
📁 Source: Plausible/Arbitrary.lean
Statistics
| Metric | Count |
|---|---|
| 24 | |
| Theorems | 0 |
| Total | 24 |
Plausible
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompData | — |
Plausible.Arbitrary
Definitions
| Name | Category | Theorems |
|---|---|---|
arbitrary 📖 | CompOp | — |
runArbitrary 📖 | CompOp | — |
Plausible.Array
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.BitVec
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.Bool
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.Char
Definitions
| Name | Category | Theorems |
|---|---|---|
arbitraryDefaultInstance 📖 | CompOp | — |
arbitraryFromList 📖 | CompOp | — |
Plausible.Fin
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.Int
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.List
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.Nat
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.Option
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.Prod
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.Sigma
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.String
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.Sum
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.UInt16
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.UInt32
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.UInt64
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.UInt8
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.ULift
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.USize
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
Plausible.Unit
Definitions
| Name | Category | Theorems |
|---|---|---|
Arbitrary 📖 | CompOp | — |
---