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

abstract AllLavAbs =
  Lang,
  ExtraLavAbs
  ** {}