Averest

FixSign Type

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

defining least and greatest fixpoints

Union cases

Union case Description

Mu

Full Usage: Mu

Nu

Full Usage: Nu