// 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