Averest


QName Type

The datatype QName implements qualified identifiers with explicit genealogy of an identifier. See Names.sig for more information.

Union cases

Union case Description

BasicName Index

Full Usage: BasicName Index

Parameters:

Item : Index

DerivedName Index * QName

Full Usage: DerivedName Index * QName

Parameters:

Item : Index * QName

GenericName int * QName

Full Usage: GenericName int * QName

Parameters:

Item : int * QName

IncarnatedName int * QName

Full Usage: IncarnatedName int * QName

Parameters:

Item : int * QName

InstancedName Index * QName

Full Usage: InstancedName Index * QName

Parameters:

Item : Index * QName

PackagedName(Index list, Index)

Full Usage: PackagedName(Index list, Index)

Parameters:

Item1 : Index list
Item2 : Index

TypemapName int * QType * QName

Full Usage: TypemapName int * QType * QName

Parameters:

Item : int * QType * QName

Instance members

Instance member Description

this.pprinter

Full Usage: this.pprinter

Returns: int -> PrnDrv -> unit

Returns: int -> PrnDrv -> unit