hdiff
packages
feed
gf
-3.10: gf-book/examples/chapter9/TestSemanticsIta.gf
concrete TestSemanticsIta of TestSemantics = TestIta, SemanticsIta ;