tink_macro
tink_macro copied to clipboard
Need documentation for unifiesWith and isSubTypeOf
I think it is quite difficult to understand the behaviour just from the function name...