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.