FilesExpand file tree

main

/

Unit.qll

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

12 lines (10 loc) · 294 Bytes

main

/

Unit.qll

Copy path

Top

File metadata and controls

• Code
• Blame

12 lines (10 loc) · 294 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

/** Provides the `Unit` class. */

overlay[local?]

module;

/** The unit type. */

private newtype TUnit = TMkUnit()

/** The trivial type with a single element. */

final class Unit extends TUnit {

/** Gets a textual representation of this element. */

string toString() { result = "unit" }

}