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

abstract AllPolAbs = 
  Lang
  ** {} ;