Especificação NYAGSL do Modelo da Aplicação para o Dicionário

FUNC init((ma)):(ma)
STATE
ma<- ModApl(["Pal" -> TypeInfo("STR", NIL),
             "Sig" -> TypeInfo("STR", NIL)
            ],
            [], ["INIT" -> 'INIT,
                 "INSPAL" -> 'INSPAL,
                 "REMPAL" -> 'REMPAL,
                 "CONSPAL" -> 'CONSPAL,
                 "EMPTYDIC" -> 'EMPTYDIC,
                 "EXISTPAL" -> 'EXISTPAL,
                ], channel("stsm"), channel("smst"), channel("smlx"));

#include dic.n