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

concrete AllHeb of AllHebAbs = LangHeb ;