You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
9 lines
361 B
TypeScript
9 lines
361 B
TypeScript
//// <reference no-default-lib="true" />
|
|
|
|
declare type int = number;
|
|
declare type float = number;
|
|
|
|
declare function print(a: unknown): void;
|
|
declare function input(a: unknown): void;
|
|
declare function meta(a: "username" | "hostname" | "editVersion" | "editMysteryNumber", b: string): void;
|
|
declare function attr(a: "name" | "authors" | "about", b: string): void; |