// Rendered by UMod Pretty Printer at 2026-01-24_19h42m37
// See also the UMod user documentation online.

MODEL Rt =
  EXT memstring FROM eu.bandm.tools.d2d2.infra.MemString
  EXT Location FROM eu.bandm.tools.location.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
  EXT ImportItem FROM eu.bandm.tools.d2d2.model.ImportItem
  EXT Module FROM eu.bandm.tools.d2d2.model.Module

  TOPLEVEL CLASS
  ImportContext
        predec      OPT ImportContext
        importItem  ImportItem
        moduleAddress       string
        rawModule   Module
        key         string
        subs        string->OPT ImportContext
        level       int
  Binding
        predec      OPT Binding
        id          string
        exp         Expression
        context     ImportContext
        definitionName      OPT string
        used        bool
  State ABSTRACT
        predec      OPT State
        result      ResultContainer
        rule        ABSTRACT OPT Expression
        inxslt      bool
  | State_perm
        rule        Perm
        directory   PermutationGroup
        obligates   SET Expression
        consumed    SET Expression
  | State_rep
        rule        GrUnary
  | State_singleton
        ref         Reference
        def         Definition
        rule        Expression
  | State_sequ
        rule        Seq
        position    int
  FlattenContext
        predec      OPT FlattenContext
        localSubsts OPT Binding
  Udom ABSTRACT
  | PermutationGroup
        rule        Perm
        subs        Expression->PermutationSubexpression
  | ResultContainer
        location    Location
        sequ        SEQ Udom
  | | ResultingStructure
        tag         Definition
        assoc       Definition->ResultingStructure
  | | PermutationSubexpression
  | ResultingChars
        chars       memstring
        isWhitespace        bool
  | | SubstituteChars
        endLocation Location

END MODEL // Rt