Abbrev (Averest)

Abbrev Type

Namespace: Averest.Core
Assembly: Averest.dll
Parent Module: Abbreviations
Abbreviation For: BoolExpr option * QName
Base Type: obj
All Interfaces: IStructuralComparable , IStructuralEquatable , IComparable , ITuple

An abbreviation is a pair that describes a mapping from a QName to a Boolean expression. Since this mapping is partial (some names may not be bound), the second component is a BoolExpr option.

Instance members

Instance member	Description
`this.Item1` Full Usage: `this.Item1` Returns: `BoolExpr option`	Returns: `BoolExpr option`
`this.Item2` Full Usage: `this.Item2` Returns: `QName`	Returns: `QName`