Class IntrinsicRenameAnnotation

Renames this symbol to a diffrent name (which for example is a reserved keyword). Used by the prelude to define for and intersection_for so that they can be resolved without errors.

Constructors

Properties

Constructors

Properties

newName: string
annotationTag: string = "intrinsicRename"