path: root/next-lib/src/catalan/ExtraRomanceCat.gf

concrete ExtraRomanceCat of ExtraRomanceAbs = CatCat ** ExtraRomance with
  (ResRomance = ResCat) ;