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

concrete AllPol of AllPolAbs = 
  LangPol,
  ExtraPol
  ** {} ;