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

concrete AllIna of AllInaAbs = LangIna ;