// Rendered by UMod Pretty Printer at 2024-03-16_10h13m21
// See also the UMod user documentation online.

MODEL LLJava =
  EXT Character FROM java.lang.Character
  EXT String FROM java.lang.String
  EXT Integer FROM java.lang.Integer
  EXT Long FROM java.lang.Long
  EXT Float FROM java.lang.Float
  EXT Double FROM java.lang.Double
  EXT SourceId SOURCE FROM eu.bandm.tools.lljava.absy.SourceId
  EXT Location SOURCE FROM eu.bandm.tools.location.Location

  ENUM <a id='_def_HandleKind' class='aDef' title='Symbolic constants for the bytecode behaviors for method handles.
See Also: