let add_0 = type_of empty_context (Add (Num 1, Num 2)) (* Shoul return Some IntTy *) let add_1 = type_of empty_context (Add (Num 2, Vector [1;3;4])) (* Shoul return ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback