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

concrete AllAra of AllAraAbs = LangAra ;