equal
deleted
inserted
replaced
1 (* Auxiliary antiquotations for the Cookbook. *) |
1 (* Auxiliary antiquotations for the tutorial. *) |
2 |
2 |
3 structure AntiquoteSetup: sig end = |
3 structure AntiquoteSetup: sig end = |
4 struct |
4 struct |
5 |
5 |
6 (* main body *) |
6 (* main body *) |