diff options
Diffstat (limited to 'examples/attempto/Symbols.gf')
| -rw-r--r-- | examples/attempto/Symbols.gf | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/examples/attempto/Symbols.gf b/examples/attempto/Symbols.gf index 3744ecd4a..3f92d3b21 100644 --- a/examples/attempto/Symbols.gf +++ b/examples/attempto/Symbols.gf @@ -1,6 +1,21 @@ abstract Symbols = { -cat Var ; +cat Var ; Formula ; Term ; + +fun plus_Term : Term -> Term -> Term ; +fun minus_Term : Term -> Term -> Term ; +fun div_Term : Term -> Term -> Term ; +fun times_Term : Term -> Term -> Term ; +fun neg_Term : Term -> Term ; +fun int_Term : Int -> Term ; +fun var_Term : Var -> Term ; + +fun eq_Formula : Term -> Term -> Formula ; +fun lt_Formula : Term -> Term -> Formula ; +fun gt_Formula : Term -> Term -> Formula ; +fun le_Formula : Term -> Term -> Formula ; +fun ge_Formula : Term -> Term -> Formula ; +fun ne_Formula : Term -> Term -> Formula ; fun X_Var : Var ; fun Y_Var : Var ; |