Scalar types

Detailed Description

require type traits for types that are either arithmetic, var, fvar, or Complex.

Modules
	Real types
	require type traits for types that are either arithmetic, var, or fvar.
	Complex types
	require type traits for types that are Complex<T>.