--# -path=.:present:prelude

concrete PeaceSyntax_Fin of PeaceSyntax = PeaceCat_Fin ** PeaceSyntaxI with
  (Lang = LangFin), (Constructors = ConstructorsFin) ;