https://kotlinlang.org logo
#compiler
Title
# compiler
j

Jake Woods

06/30/2022, 4:01 AM
Does anyone know what
_η_−1
means as part of the definition of
ϕ
in the kotlin spec least upper bound algorithm? Everything else seems to be defined somewhere in the document but I can’t figure out what the substitution would be for ``_η_−1({out LUB(x_out, y_out), in GLB(x_in, y_in)}`. 🙏
e

ephemient

06/30/2022, 4:07 AM
looks like η¯¹ is the inverse of η
j

Jake Woods

06/30/2022, 4:12 AM
Ahhh I see, that makes a lot more sense now
Thanks! 🙂
4 Views