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

concrete AllPes of AllPesAbs =
  LangPes,
  ExtraPes
  ** {} ;