# Type variable

# let id x = x;;

In mathematical notation, the type of the function id is ${\displaystyle \forall a.a\to a}$, where ${\displaystyle a}$ is a type variable.