mirror of
https://github.com/github/codeql.git
synced 2026-02-23 18:33:42 +01:00
11 lines
264 B
Plaintext
11 lines
264 B
Plaintext
/** Provides the `Unit` class. */
|
|
|
|
/** The unit type. */
|
|
private newtype TUnit = TMkUnit()
|
|
|
|
/** The trivial type with a single element. */
|
|
class Unit extends TUnit {
|
|
/** Gets a textual representation of this element. */
|
|
string toString() { result = "unit" }
|
|
}
|