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

concrete AllNep of AllNepAbs =
  LangNep
--  ExtraNep
  ** {} ;