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

concrete AllPol of AllPolAbs = 
  LangPol
  ** {} ;