--# -path=.:../abstract:../common:../prelude
--
concrete AllAmh of AllAmhAbs = LangAmh, ExtAmh ;