# A type-ckeck expression. eg `x isa T`
class AIsaExpr
	super ABoolExpr

	# The expression to check
	var n_expr: AExpr is writable, noinit

	# The `isa` keyword
	var n_kwisa: TKwisa is writable, noinit

	# The destination type to check to
	var n_type: AType is writable, noinit
end