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