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

concrete AllChi of AllChiAbs = LangChi, ExtraChi ;