Commit 4df3091b authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

typo

parent 6ca9c2ea
......@@ -153,7 +153,8 @@ $(\Int\vee\String)\wedge\Int$ that is \Int. To type the ``else'' branch
we reason exactly in the same way, with the only difference that, since
the type test has failed, then we know that the type of the tested expression is
\emph{not} \Int. That is, the expression $x_1x_2$ can produce any possible value
barring an \Int. If we denote by \Any\ the type of all values and by
barring an \Int. If we denote by \Any\ the type of all values (i.e., the
type \code{any} of TypeScript and Flow) and by
$\setminus$ the set difference, then this means that in the else branch we
know that $x_1x_2$ has type $\Any{\setminus}\Int$---written
$\neg\Int$---, that is, it can return values of any type barred \Int. Reasoning as for the ``then'' branch we then assume that
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment