search

andreinaku / SpyType

MIT License
0 stars 0 forks source link

LUB between Basetypes #21

Closed andreinaku closed 5 months ago

andreinaku commented 5 months ago

lub(bt1, bt2) =

  1. if bt1 = c<bt'_1> and bt2 = c<bt'_2>, lub(bt1, bt2) = c< lub(bt'_1, bt'_2) >
  2. else lub(bt1, bt2) = bt1 + bt2
andreinaku commented 5 months ago

f0abfb895f09a136f31fd9e08c85b19544c585f2