--# -path=.:../abstract:../common:prelude abstract AllChiAbs = Lang, ExtraChiAbs ;