Averest


Abbrev Type

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