path: root/examples/attempto/AttemptoEng.gf

--# -path=.:present

concrete AttemptoEng of Attempto = AttemptoI with
  (Syntax = SyntaxEng),
  (Symbolic = SymbolicEng),
  (LexAttempto = LexAttemptoEng) ;