ConstrGen<'a>
Namespace: AntaniXml
Parent Module: ConstrainedGenerators
a generator paired with a property satisfied by its samples
Record Fields
| Record Field | Description |
Description
Signature: string
|
|
Gen
Signature: Gen<'a>
|
|
Prop
Signature: 'a -> bool
|
|
