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

concrete AllPnb of AllPnbAbs =
  LangPnb,
  ExtraPnb
  ** {} ;