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

concrete AllTha of AllThaAbs = LangTha ;