--# -path=.:../abstract:../common:prelude concrete ExtendIna of Extend = CatIna ** ExtendFunctor with (Grammar = GrammarIna) ** { flags coding=utf8 ; }