// Rendered by UMod Pretty Printer at 2022-06-25_16h57m55 // See also the UMod user documentation online. MODEL Rt = EXT memstring FROM eu.bandm.tools.d2d2.infra.MemString EXT Location FROM eu.bandm.tools.message.Location EXT Expression FROM eu.bandm.tools.d2d2.model.Expression EXT Definition FROM eu.bandm.tools.d2d2.model.Definition EXT Reference FROM eu.bandm.tools.d2d2.model.Reference EXT Seq FROM eu.bandm.tools.d2d2.model.Seq EXT Perm FROM eu.bandm.tools.d2d2.model.Perm EXT GrUnary FROM eu.bandm.tools.d2d2.model.GrUnary EXT LocString FROM eu.bandm.tools.d2d2.model.LocString TOPLEVEL CLASS AdditionalDocs text string->string->string->SEQ LocString Udom ABSTRACT | PermutationGroup rule Perm subs Expression->PermutationSubexpression | ResultingChars chars memstring isWhitespace bool | ResultContainer location Location sequ SEQ Udom | | ResultingStructure tag Definition assoc Definition->ResultingStructure | | PermutationSubexpression State ABSTRACT predec OPT State result ResultContainer rule ABSTRACT OPT Expression inxslt bool | State_rep rule GrUnary | State_sequ rule Seq position int | State_singleton ref Reference def Definition rule Expression | State_perm rule Perm directory PermutationGroup obligates SET Expression consumed SET Expression END MODEL // Rt