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

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