selectrix icon indicating copy to clipboard operation
selectrix copied to clipboard

Published 20 hours ago • verified publisher icon ityonemo

4. Spec error

Open ityonemo opened this issue 3 years ago • 1 comments

The declared typespec for the function is incorrect because:

  • one of the inputs is disjoint with its declared type
  • the return is disjoint with its declared type

ityonemo avatar Oct 21 '20 13:10 ityonemo