# A definition of a virtual type
class ATypePropdef
	super APropdef

	# The `type` keyword
	var n_kwtype: TKwtype is writable, noinit

	# The name of the virtual type
	var n_qid: AQclassid is writable, noinit

	# The bound of the virtual type
	var n_type: AType is writable, noinit
end