Command<'Sut, 'State, 'Result>
Namespace: Persimmon.Dried
Instance members
| Instance member | Description |
NextState(arg1)
Signature: 'State -> 'State
Modifiers: abstract |
|
PostCondition(arg1, arg2)
Signature: ('State * Choice<'Result,exn>) -> Prop
Modifiers: abstract |
|
PreCondition(arg1)
Signature: 'State -> bool
Modifiers: abstract |
|
Run(arg1)
Signature: 'Sut -> 'Result
Modifiers: abstract |
|
StructuredFormatDisplay
Signature: string
Modifiers: abstract |
CompiledName: |
