1 2 3 4 5
--# -path=.:present:prelude concrete PeaceSyntax_Eng of PeaceSyntax = PeaceCat_Eng ** PeaceSyntaxI with (Lang = LangEng) ;