equal
deleted
inserted
replaced
28 | beta_ast_tr asts = raise Ast.AST ("beta_ast_tr", asts); |
28 | beta_ast_tr asts = raise Ast.AST ("beta_ast_tr", asts); |
29 fun beta_ofsort_ast_tr [ast] = |
29 fun beta_ofsort_ast_tr [ast] = |
30 Ast.Appl [Ast.Constant @{syntax_const "_ofsort"}, Ast.Variable "'b", ast] |
30 Ast.Appl [Ast.Constant @{syntax_const "_ofsort"}, Ast.Variable "'b", ast] |
31 | beta_ofsort_ast_tr asts = raise Ast.AST ("beta_ast_tr", asts); |
31 | beta_ofsort_ast_tr asts = raise Ast.AST ("beta_ast_tr", asts); |
32 in |
32 in |
33 [(@{syntax_const "_alpha"}, alpha_ast_tr), |
33 [(@{syntax_const "_alpha"}, K alpha_ast_tr), |
34 (@{syntax_const "_alpha_ofsort"}, alpha_ofsort_ast_tr), |
34 (@{syntax_const "_alpha_ofsort"}, K alpha_ofsort_ast_tr), |
35 (@{syntax_const "_beta"}, beta_ast_tr), |
35 (@{syntax_const "_beta"}, K beta_ast_tr), |
36 (@{syntax_const "_beta_ofsort"}, beta_ofsort_ast_tr)] |
36 (@{syntax_const "_beta_ofsort"}, K beta_ofsort_ast_tr)] |
37 end |
37 end |
38 *} |
38 *} |
39 |
39 |
40 end |
40 end |