How could I specify a function that can accept any type exclude one type in typed/racket?

127 Views Asked by At

I mean, just like annotate a function as (: function (-> (Not String) String)) I know this doesn't work, is there a way to achieve it?

0

There are 0 best solutions below