diff options
Diffstat (limited to 'test/example/stack-utils.txt')
| -rw-r--r-- | test/example/stack-utils.txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/example/stack-utils.txt b/test/example/stack-utils.txt index c278ca099..d24119aab 100644 --- a/test/example/stack-utils.txt +++ b/test/example/stack-utils.txt @@ -13,5 +13,6 @@ ) ;; Test stack signatures ;; Test stack signature composition -;; Test stack signature satisfaction +;; Test stack signature subtyping +;; Test stack signature lub ;; Test stack flow |