# The definition of x must have an accompanying type signature¶

In Disco, you are not allowed to define a variable by simply saying
`x = ...`

. You must also specify the type of a variable
by placing a type signature before it, like this:

```
x : N -- a type signature for x
x = 5 -- the definition of x
```