FilesExpand file tree

main

/

Void.qll

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

12 lines (10 loc) · 302 Bytes

main

/

Void.qll

Copy path

Top

File metadata and controls

• Code
• Blame

12 lines (10 loc) · 302 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 empty `Void` class. */

overlay[local?]

module;

/** The empty void type. */

private newtype TVoid = TMkVoid() { none() }

/** The trivial empty type. */

final class Void extends TVoid {

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

string toString() { result = "dummy" }

}