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

concrete AllHin of AllHinAbs = LangHin ;