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

concrete AllChi of AllChiAbs = LangChi, ExtraChi ;