hdiff
packages
feed
gf
-3.10: gf-book/examples/chapter9/TestSemantics.gf
abstract TestSemantics = Test, Semantics ;