--# -path=.:../romance:../abstract:../../prelude

concrete ResFra of ResAbs = ResRomance with (SyntaxRomance=SyntaxFra) ;