// Rendered by UMod Pretty Printer at 2025-08-10_18h07m41
// See also the UMod user documentation online.

MODEL Verify =
  EXT Instruction SOURCE FROM eu.bandm.tools.lljava.absy.LLJava.Instruction

  TOPLEVEL CLASS
  Type ABSTRACT ALGEBRAIC
  | Top ALGEBRAIC
  | Category1 ABSTRACT ALGEBRAIC
  | | Reference ALGEBRAIC
  | | Int ALGEBRAIC
  | | UninitializedThis ALGEBRAIC
  | | UninitializedNew ALGEBRAIC
        offset      Instruction
  | | Object ALGEBRAIC
        classname   string
  | | Float ALGEBRAIC
  | | OneWord ALGEBRAIC
  | | Null ALGEBRAIC
  | | Uninitialized ALGEBRAIC
  | Category2 ABSTRACT ALGEBRAIC
  | | Double ALGEBRAIC
  | | Long ALGEBRAIC
  | | TwoWord ALGEBRAIC

END MODEL // Verify