Blei/clay — comment on commit e2790cfa7873a2cb1b3a007cc48f795a175d06a0
File: lib-clay/pointers/pointers.clay line 231
By Blei:

At the moment only Integer up-casting (and signed to unsigned and vice versa) is implemented. If more is needed, it should be enough to change the predicate to this function.