# The definition of a formal generic parameter type. eg `X: Y`
class AFormaldef
	super Prod

	# The name of the parameter type
	var n_id: TClassid is writable, noinit

	# The bound of the parameter type
	var n_type: nullable AType = null is writable
end