PropStatus
Namespace: Persimmon.Dried
Union Cases
Union Case | Description |
Exception(exn)
Signature: exn
|
|
False
Signature:
|
|
Proof
Signature:
|
|
Skipped(string)
Signature: string
|
|
True
Signature:
|
|
Undecided
Signature:
|