add tough example

1 files changed, 9 insertions, 0 deletions

diff --git a/src/parser.rs b/src/parser.rs
index 0a7f063..65aa7f4 100644
--- a/src/parser.rs
+++ b/src/parser.rs
@@ -276,6 +276,15 @@ let set Maybe = variant [
     #[test]
     fn test_theories_and_instances() {
         let src = r#"
+            let signature OneSet = theory { F :: Set }
+
+            let signature T = theory {
+                A :: Set,
+                B :: (x : set-of({ .F = A } .F)) -> Set,
+                C :: (x : set-of(A)) (b : set-of(B x)) -> Set
+            }
+
+
             let signature Graph = theory {
                 Node :: Set,
                 Edge :: (s : set-of(Node)) (t : set-of(Node)) -> Set