PropOperators (FsCheck)

PropOperators Module

Operators for Prop.

Function or value	Description
`l .&. r` Full Usage: `l .&. r` Parameters: l : `'LeftTestable` r : `'RightTestable` Returns: `Property`	Construct a property that succeeds if both succeed. (cfr 'and') l : `'LeftTestable` r : `'RightTestable` Returns: `Property`
`l .\|. r` Full Usage: `l .\|. r` Parameters: l : `'LeftTestable` r : `'RightTestable` Returns: `Property`	Construct a property that fails if both fail. (cfr 'or') l : `'LeftTestable` r : `'RightTestable` Returns: `Property`
`condition ==> assertion` Full Usage: `condition ==> assertion` Parameters: condition : `bool` assertion : `'Testable` Returns: `Property`	Conditional property combinator. Resulting property holds if the property after ==> holds whenever the condition does. condition : `bool` assertion : `'Testable` Returns: `Property`