Specification (Averest)

Specification Type

Namespace: Averest.Systems
Assembly: Averest.dll
Parent Module: Aif
Base Type: obj
All Interfaces: IEquatable<Specification> , IStructuralEquatable , IComparable<Specification> , IComparable , IStructuralComparable

Record Field	Description
`observer` Full Usage: `observer` Field type: `SystemPart option`	Field type: `SystemPart option`
`proofGoals` Full Usage: `proofGoals` Field type: `ProofGoal list`	Field type: `ProofGoal list`

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