path: root/examples/attempto/AttemptoFin.gf

--# -path=.:present

concrete AttemptoFin of Attempto = SymbolsC ** AttemptoI with
  (Syntax = SyntaxFin),
  (Symbolic = SymbolicFin),
  (LexAttempto = LexAttemptoFin) ;