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

abstract AllKorAbs =
  Lang,
  Extend
  ** {} ;