VerifTask (Averest)

VerifTask Type

Namespace: Averest.Core
Assembly: Averest.dll
Parent Module: Specifications
Base Type: obj
All Interfaces: IEquatable<VerifTask> , IStructuralEquatable , IComparable<VerifTask> , IComparable , IStructuralComparable

Union case	Description
`DisProveA` Full Usage: `DisProveA`
`DisProveE` Full Usage: `DisProveE`
`ProveA` Full Usage: `ProveA`
`ProveE` Full Usage: `ProveE`

Instance member	Description
`this.printer` Full Usage: `this.printer` Returns: `PrnDrv -> unit`	Returns: `PrnDrv -> unit`