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

concrete AllUrd of AllUrdAbs =
  LangUrd,
  ExtraUrd
  ** {} ;