Skip to content

Fix concistent typing of the none term.

Leif Harald Karlsen requested to merge hotfix/consistent-typing-none into develop

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.

Merge request reports