Fix concistent typing of the none term.
The none
-term has intrinsic type Bot
, so according to our current definition it will never be consistently typed. This fixes this definition by simply stating that none
is always consistently typed.
The none
-term has intrinsic type Bot
, so according to our current definition it will never be consistently typed. This fixes this definition by simply stating that none
is always consistently typed.