An example is the type of n - tuples of real numbers , which we may denote as \\ mbox ( , n ) , this is a dependent type because the type '' depends '' on the value n : .
An example is the type of n - tuples of real numbers , which we may denote as \\ mbox ( , n ) . 
 This is a dependent type because the type '' depends '' on the value n : .