--# -path=.:../abstract:../common:prelude

concrete AllTur of AllTurAbs = 
  LangTur
  ** {} ;