Record: TypeId

A record representing a type-id. A type-id uniquely identifies an occurrence of a distinct type descriptor within a program.

Read Only
Closed record


  • moduleId ModuleId
  • An identifier for the module.

  • localId (string | int)
  • An identifier within the module identified by moduleId. If it is a string, then it is the name of a type defined in the module. If it is an integer, then it is compiler-generated.