# A static type. eg `nullable X[Y]`
class AType
	super Prod
	# The `nullable` keyword
	var n_kwnullable: nullable TKwnullable = null is writable

	# The name of the class or of the formal type
	var n_qid: AQclassid is writable, noinit

	# The opening bracket
	var n_obra: nullable TObra = null is writable

	# Type arguments for a generic type
	var n_types = new ANodes[AType](self)

	# The closing bracket
	var n_cbra: nullable TCbra = null is writable
end