path: root/doc/tutorial/applications/CommentsIta.gf

concrete CommentsIta of Comments = CommentsI with
  (Syntax = SyntaxIta) ;