has -> implements in roc code

This commit is contained in:
Bryce Miller 2023-05-26 20:39:01 -04:00
parent 58a84fdc29
commit c68807bc5a
No known key found for this signature in database
GPG key ID: F1E97BF8DF152350
14 changed files with 26 additions and 26 deletions

View file

@ -1,3 +1,3 @@
f : a -> (b -> c) | a has Hash, b has Eq, c implements Ord
f : a -> (b -> c) | a implements Hash, b has Eq, c implements Ord
f