search

andreinaku / SpyType

MIT License
0 stars 0 forks source link

maude solve when unbounded vartypes are present #20

Open andreinaku opened 5 months ago

andreinaku commented 5 months ago 
r'((a:T4 /\ b:T5 /\ c:T3) ^ (T6 <= int /\ T7 <= float /\ T1 <= float /\ T2 <= str /\ T3 <= int /\ T4 <= T6 + T1 /\ T5 <= T7 + T2))'

right now, the result is T1 <= bot and T2 <= bot. is this right?