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

abstract AllPolAbs = 
  Lang,
  ExtraPolAbs
  ** {} ;