--# -path=.:present

concrete AttemptoIta of Attempto = SymbolsC ** AttemptoI with
  (Syntax = SyntaxIta),
  (Symbolic = SymbolicIta),
  (LexAttempto = LexAttemptoIta) ;