path: root/examples/phrasebook/PhrasebookPes.gf

--# -path=.:alltenses

concrete PhrasebookPes of Phrasebook = 
  GreetingsPes,
  WordsPes ** open 
    SyntaxPes,
    Prelude in {

}