1
2
header {* Meson test cases *}
3
4
theory mesontest2 = Main:
5
6
hide const inverse divide
7
8
end