UnitCommand<'Sut, 'State>
Namespace: Persimmon.Dried
Constructors
| Constructor | Description |
new()
Signature: unit -> UnitCommand<'Sut,'State>
|
CompiledName: |
Instance members
| Instance member | Description |
NextState(arg1)
Signature: 'State -> 'State
Modifiers: abstract |
|
PostCondition(arg1, arg2)
Signature: ('State * bool) -> Prop
Modifiers: abstract |
|
PreCondition(arg1)
Signature: 'State -> bool
Modifiers: abstract |
|
Run(arg1)
Signature: 'Sut -> Unit
Modifiers: abstract |
|
StructuredFormatDisplay
Signature: string
Modifiers: abstract |
CompiledName: |
