summaryrefslogtreecommitdiff
path: root/gf-book/examples/chapter9/TestSemanticsIta.gf
blob: ce6abfc094803cef7f663e332825b13e429a8017 (plain)
1
concrete TestSemanticsIta of TestSemantics = TestIta, SemanticsIta ;