npm - lean4monaco - Versions diffs - 1.0.45 → 1.0.46 - Mend

lean4monaco 1.0.45 → 1.0.46

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (1033) hide show

package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/src/template/mapping.json DELETED Viewed

@@ -1,514 +0,0 @@
-{
-  "add": 60000,
-  "plus": 60000,
-  "gist-new": 60000,
-  "repo-create": 60000,
-  "lightbulb": 60001,
-  "light-bulb": 60001,
-  "repo": 60002,
-  "repo-delete": 60002,
-  "gist-fork": 60003,
-  "repo-forked": 60003,
-  "git-pull-request": 60004,
-  "git-pull-request-abandoned": 60004,
-  "record-keys": 60005,
-  "keyboard": 60005,
-  "tag": 60006,
-  "tag-add": 60006,
-  "tag-remove": 60006,
-  "person": 60007,
-  "person-follow": 60007,
-  "person-outline": 60007,
-  "person-filled": 60007,
-  "git-branch": 60008,
-  "git-branch-create": 60008,
-  "git-branch-delete": 60008,
-  "source-control": 60008,
-  "mirror": 60009,
-  "mirror-public": 60009,
-  "star": 60010,
-  "star-add": 60010,
-  "star-delete": 60010,
-  "star-empty": 60010,
-  "comment": 60011,
-  "comment-add": 60011,
-  "alert": 60012,
-  "warning": 60012,
-  "search": 60013,
-  "search-save": 60013,
-  "log-out": 60014,
-  "sign-out": 60014,
-  "log-in": 60015,
-  "sign-in": 60015,
-  "eye": 60016,
-  "eye-unwatch": 60016,
-  "eye-watch": 60016,
-  "circle-filled": 60017,
-  "primitive-dot": 60017,
-  "close-dirty": 60017,
-  "debug-breakpoint": 60017,
-  "debug-breakpoint-disabled": 60017,
-  "debug-hint": 60017,
-  "primitive-square": 60018,
-  "edit": 60019,
-  "pencil": 60019,
-  "info": 60020,
-  "issue-opened": 60020,
-  "gist-private": 60021,
-  "git-fork-private": 60021,
-  "lock": 60021,
-  "mirror-private": 60021,
-  "close": 60022,
-  "remove-close": 60022,
-  "x": 60022,
-  "repo-sync": 60023,
-  "sync": 60023,
-  "clone": 60024,
-  "desktop-download": 60024,
-  "beaker": 60025,
-  "microscope": 60025,
-  "vm": 60026,
-  "device-desktop": 60026,
-  "file": 60027,
-  "file-text": 60027,
-  "more": 60028,
-  "ellipsis": 60028,
-  "kebab-horizontal": 60028,
-  "mail-reply": 60029,
-  "reply": 60029,
-  "organization": 60030,
-  "organization-filled": 60030,
-  "organization-outline": 60030,
-  "new-file": 60031,
-  "file-add": 60031,
-  "new-folder": 60032,
-  "file-directory-create": 60032,
-  "trash": 60033,
-  "trashcan": 60033,
-  "history": 60034,
-  "clock": 60034,
-  "folder": 60035,
-  "file-directory": 60035,
-  "symbol-folder": 60035,
-  "logo-github": 60036,
-  "mark-github": 60036,
-  "github": 60036,
-  "terminal": 60037,
-  "console": 60037,
-  "repl": 60037,
-  "zap": 60038,
-  "symbol-event": 60038,
-  "error": 60039,
-  "stop": 60039,
-  "variable": 60040,
-  "symbol-variable": 60040,
-  "array": 60042,
-  "symbol-array": 60042,
-  "symbol-module": 60043,
-  "symbol-package": 60043,
-  "symbol-namespace": 60043,
-  "symbol-object": 60043,
-  "symbol-method": 60044,
-  "symbol-function": 60044,
-  "symbol-constructor": 60044,
-  "symbol-boolean": 60047,
-  "symbol-null": 60047,
-  "symbol-numeric": 60048,
-  "symbol-number": 60048,
-  "symbol-structure": 60049,
-  "symbol-struct": 60049,
-  "symbol-parameter": 60050,
-  "symbol-type-parameter": 60050,
-  "symbol-key": 60051,
-  "symbol-text": 60051,
-  "symbol-reference": 60052,
-  "go-to-file": 60052,
-  "symbol-enum": 60053,
-  "symbol-value": 60053,
-  "symbol-ruler": 60054,
-  "symbol-unit": 60054,
-  "activate-breakpoints": 60055,
-  "archive": 60056,
-  "arrow-both": 60057,
-  "arrow-down": 60058,
-  "arrow-left": 60059,
-  "arrow-right": 60060,
-  "arrow-small-down": 60061,
-  "arrow-small-left": 60062,
-  "arrow-small-right": 60063,
-  "arrow-small-up": 60064,
-  "arrow-up": 60065,
-  "bell": 60066,
-  "bold": 60067,
-  "book": 60068,
-  "bookmark": 60069,
-  "debug-breakpoint-conditional-unverified": 60070,
-  "debug-breakpoint-conditional": 60071,
-  "debug-breakpoint-conditional-disabled": 60071,
-  "debug-breakpoint-data-unverified": 60072,
-  "debug-breakpoint-data": 60073,
-  "debug-breakpoint-data-disabled": 60073,
-  "debug-breakpoint-log-unverified": 60074,
-  "debug-breakpoint-log": 60075,
-  "debug-breakpoint-log-disabled": 60075,
-  "briefcase": 60076,
-  "broadcast": 60077,
-  "browser": 60078,
-  "bug": 60079,
-  "calendar": 60080,
-  "case-sensitive": 60081,
-  "check": 60082,
-  "checklist": 60083,
-  "chevron-down": 60084,
-  "chevron-left": 60085,
-  "chevron-right": 60086,
-  "chevron-up": 60087,
-  "chrome-close": 60088,
-  "chrome-maximize": 60089,
-  "chrome-minimize": 60090,
-  "chrome-restore": 60091,
-  "circle-outline": 60092,
-  "debug-breakpoint-unverified": 60092,
-  "circle-slash": 60093,
-  "circuit-board": 60094,
-  "clear-all": 60095,
-  "clippy": 60096,
-  "close-all": 60097,
-  "cloud-download": 60098,
-  "cloud-upload": 60099,
-  "code": 60100,
-  "collapse-all": 60101,
-  "color-mode": 60102,
-  "comment-discussion": 60103,
-  "credit-card": 60105,
-  "dash": 60108,
-  "dashboard": 60109,
-  "database": 60110,
-  "debug-continue": 60111,
-  "debug-disconnect": 60112,
-  "debug-pause": 60113,
-  "debug-restart": 60114,
-  "debug-start": 60115,
-  "debug-step-into": 60116,
-  "debug-step-out": 60117,
-  "debug-step-over": 60118,
-  "debug-stop": 60119,
-  "debug": 60120,
-  "device-camera-video": 60121,
-  "device-camera": 60122,
-  "device-mobile": 60123,
-  "diff-added": 60124,
-  "diff-ignored": 60125,
-  "diff-modified": 60126,
-  "diff-removed": 60127,
-  "diff-renamed": 60128,
-  "diff": 60129,
-  "discard": 60130,
-  "editor-layout": 60131,
-  "empty-window": 60132,
-  "exclude": 60133,
-  "extensions": 60134,
-  "eye-closed": 60135,
-  "file-binary": 60136,
-  "file-code": 60137,
-  "file-media": 60138,
-  "file-pdf": 60139,
-  "file-submodule": 60140,
-  "file-symlink-directory": 60141,
-  "file-symlink-file": 60142,
-  "file-zip": 60143,
-  "files": 60144,
-  "filter": 60145,
-  "flame": 60146,
-  "fold-down": 60147,
-  "fold-up": 60148,
-  "fold": 60149,
-  "folder-active": 60150,
-  "folder-opened": 60151,
-  "gear": 60152,
-  "gift": 60153,
-  "gist-secret": 60154,
-  "gist": 60155,
-  "git-commit": 60156,
-  "git-compare": 60157,
-  "compare-changes": 60157,
-  "git-merge": 60158,
-  "github-action": 60159,
-  "github-alt": 60160,
-  "globe": 60161,
-  "grabber": 60162,
-  "graph": 60163,
-  "gripper": 60164,
-  "heart": 60165,
-  "home": 60166,
-  "horizontal-rule": 60167,
-  "hubot": 60168,
-  "inbox": 60169,
-  "issue-reopened": 60171,
-  "issues": 60172,
-  "italic": 60173,
-  "jersey": 60174,
-  "json": 60175,
-  "kebab-vertical": 60176,
-  "key": 60177,
-  "law": 60178,
-  "lightbulb-autofix": 60179,
-  "link-external": 60180,
-  "link": 60181,
-  "list-ordered": 60182,
-  "list-unordered": 60183,
-  "live-share": 60184,
-  "loading": 60185,
-  "location": 60186,
-  "mail-read": 60187,
-  "mail": 60188,
-  "markdown": 60189,
-  "megaphone": 60190,
-  "mention": 60191,
-  "milestone": 60192,
-  "mortar-board": 60193,
-  "move": 60194,
-  "multiple-windows": 60195,
-  "mute": 60196,
-  "no-newline": 60197,
-  "note": 60198,
-  "octoface": 60199,
-  "open-preview": 60200,
-  "package": 60201,
-  "paintcan": 60202,
-  "pin": 60203,
-  "play": 60204,
-  "run": 60204,
-  "plug": 60205,
-  "preserve-case": 60206,
-  "preview": 60207,
-  "project": 60208,
-  "pulse": 60209,
-  "question": 60210,
-  "quote": 60211,
-  "radio-tower": 60212,
-  "reactions": 60213,
-  "references": 60214,
-  "refresh": 60215,
-  "regex": 60216,
-  "remote-explorer": 60217,
-  "remote": 60218,
-  "remove": 60219,
-  "replace-all": 60220,
-  "replace": 60221,
-  "repo-clone": 60222,
-  "repo-force-push": 60223,
-  "repo-pull": 60224,
-  "repo-push": 60225,
-  "report": 60226,
-  "request-changes": 60227,
-  "rocket": 60228,
-  "root-folder-opened": 60229,
-  "root-folder": 60230,
-  "rss": 60231,
-  "ruby": 60232,
-  "save-all": 60233,
-  "save-as": 60234,
-  "save": 60235,
-  "screen-full": 60236,
-  "screen-normal": 60237,
-  "search-stop": 60238,
-  "server": 60240,
-  "settings-gear": 60241,
-  "settings": 60242,
-  "shield": 60243,
-  "smiley": 60244,
-  "sort-precedence": 60245,
-  "split-horizontal": 60246,
-  "split-vertical": 60247,
-  "squirrel": 60248,
-  "star-full": 60249,
-  "star-half": 60250,
-  "symbol-class": 60251,
-  "symbol-color": 60252,
-  "symbol-constant": 60253,
-  "symbol-enum-member": 60254,
-  "symbol-field": 60255,
-  "symbol-file": 60256,
-  "symbol-interface": 60257,
-  "symbol-keyword": 60258,
-  "symbol-misc": 60259,
-  "symbol-operator": 60260,
-  "symbol-property": 60261,
-  "wrench": 60261,
-  "wrench-subaction": 60261,
-  "symbol-snippet": 60262,
-  "tasklist": 60263,
-  "telescope": 60264,
-  "text-size": 60265,
-  "three-bars": 60266,
-  "thumbsdown": 60267,
-  "thumbsup": 60268,
-  "tools": 60269,
-  "triangle-down": 60270,
-  "triangle-left": 60271,
-  "triangle-right": 60272,
-  "triangle-up": 60273,
-  "twitter": 60274,
-  "unfold": 60275,
-  "unlock": 60276,
-  "unmute": 60277,
-  "unverified": 60278,
-  "verified": 60279,
-  "versions": 60280,
-  "vm-active": 60281,
-  "vm-outline": 60282,
-  "vm-running": 60283,
-  "watch": 60284,
-  "whitespace": 60285,
-  "whole-word": 60286,
-  "window": 60287,
-  "word-wrap": 60288,
-  "zoom-in": 60289,
-  "zoom-out": 60290,
-  "list-filter": 60291,
-  "list-flat": 60292,
-  "list-selection": 60293,
-  "selection": 60293,
-  "list-tree": 60294,
-  "debug-breakpoint-function-unverified": 60295,
-  "debug-breakpoint-function": 60296,
-  "debug-breakpoint-function-disabled": 60296,
-  "debug-stackframe-active": 60297,
-  "circle-small-filled": 60298,
-  "debug-stackframe-dot": 60298,
-  "debug-stackframe": 60299,
-  "debug-stackframe-focused": 60299,
-  "debug-breakpoint-unsupported": 60300,
-  "symbol-string": 60301,
-  "debug-reverse-continue": 60302,
-  "debug-step-back": 60303,
-  "debug-restart-frame": 60304,
-  "debug-alt": 60305,
-  "call-incoming": 60306,
-  "call-outgoing": 60307,
-  "menu": 60308,
-  "expand-all": 60309,
-  "feedback": 60310,
-  "group-by-ref-type": 60311,
-  "ungroup-by-ref-type": 60312,
-  "account": 60313,
-  "bell-dot": 60314,
-  "debug-console": 60315,
-  "library": 60316,
-  "output": 60317,
-  "run-all": 60318,
-  "sync-ignored": 60319,
-  "pinned": 60320,
-  "github-inverted": 60321,
-  "server-process": 60322,
-  "server-environment": 60323,
-  "pass": 60324,
-  "issue-closed": 60324,
-  "stop-circle": 60325,
-  "play-circle": 60326,
-  "record": 60327,
-  "debug-alt-small": 60328,
-  "vm-connect": 60329,
-  "cloud": 60330,
-  "merge": 60331,
-  "export": 60332,
-  "graph-left": 60333,
-  "magnet": 60334,
-  "notebook": 60335,
-  "redo": 60336,
-  "check-all": 60337,
-  "pinned-dirty": 60338,
-  "pass-filled": 60339,
-  "circle-large-filled": 60340,
-  "circle-large-outline": 60341,
-  "combine": 60342,
-  "gather": 60342,
-  "table": 60343,
-  "variable-group": 60344,
-  "type-hierarchy": 60345,
-  "type-hierarchy-sub": 60346,
-  "type-hierarchy-super": 60347,
-  "git-pull-request-create": 60348,
-  "run-above": 60349,
-  "run-below": 60350,
-  "notebook-template": 60351,
-  "debug-rerun": 60352,
-  "workspace-trusted": 60353,
-  "workspace-untrusted": 60354,
-  "workspace-unknown": 60355,
-  "terminal-cmd": 60356,
-  "terminal-debian": 60357,
-  "terminal-linux": 60358,
-  "terminal-powershell": 60359,
-  "terminal-tmux": 60360,
-  "terminal-ubuntu": 60361,
-  "terminal-bash": 60362,
-  "arrow-swap": 60363,
-  "copy": 60364,
-  "person-add": 60365,
-  "filter-filled": 60366,
-  "wand": 60367,
-  "debug-line-by-line": 60368,
-  "inspect": 60369,
-  "layers": 60370,
-  "layers-dot": 60371,
-  "layers-active": 60372,
-  "compass": 60373,
-  "compass-dot": 60374,
-  "compass-active": 60375,
-  "azure": 60376,
-  "issue-draft": 60377,
-  "git-pull-request-closed": 60378,
-  "git-pull-request-draft": 60379,
-  "debug-all": 60380,
-  "debug-coverage": 60381,
-  "run-errors": 60382,
-  "folder-library": 60383,
-  "debug-continue-small": 60384,
-  "beaker-stop": 60385,
-  "graph-line": 60386,
-  "graph-scatter": 60387,
-  "pie-chart": 60388,
-  "bracket": 60175,
-  "bracket-dot": 60389,
-  "bracket-error": 60390,
-  "lock-small": 60391,
-  "azure-devops": 60392,
-  "verified-filled": 60393,
-  "newline": 60394,
-  "layout": 60395,
-  "layout-activitybar-left": 60396,
-  "layout-activitybar-right": 60397,
-  "layout-panel-left": 60398,
-  "layout-panel-center": 60399,
-  "layout-panel-justify": 60400,
-  "layout-panel-right": 60401,
-  "layout-panel": 60402,
-  "layout-sidebar-left": 60403,
-  "layout-sidebar-right": 60404,
-  "layout-statusbar": 60405,
-  "layout-menubar": 60406,
-  "layout-centered": 60407,
-  "target": 60408,
-  "indent": 60409,
-  "record-small": 60410,
-  "error-small": 60411,
-  "arrow-circle-down": 60412,
-  "arrow-circle-left": 60413,
-  "arrow-circle-right": 60414,
-  "arrow-circle-up": 60415,
-  "layout-sidebar-right-off": 60416,
-  "layout-panel-off": 60417,
-  "layout-sidebar-left-off": 60418,
-  "blank": 60419,
-  "heart-filled": 60420,
-  "map": 60421,
-  "map-filled": 60422,
-  "circle-small": 60423,
-  "bell-slash": 60424,
-  "bell-slash-dot": 60425,
-  "comment-unresolved": 60426,
-  "git-pull-request-go-to-changes": 60427,
-  "git-pull-request-new-changes": 60428
-}

package/dist/vscode-lean4/lean4-infoview/src/infoview/contexts.d.ts DELETED Viewed

@@ -1,46 +0,0 @@
-import * as React from 'react';
-import type { Diagnostic } from 'vscode-languageserver-protocol';
-import { InfoviewConfig, LeanFileProgressProcessingInfo } from '@leanprover/infoview-api';
-import { EditorConnection } from './editorConnection';
-import { ServerVersion } from './serverVersion';
-import { DocumentPosition } from './util';
-export declare const EditorContext: React.Context<EditorConnection>;
-export declare const VersionContext: React.Context<ServerVersion | undefined>;
-export declare const ConfigContext: React.Context<InfoviewConfig>;
-export declare const LspDiagnosticsContext: React.Context<Map<string, Diagnostic[]>>;
-export declare const ProgressContext: React.Context<Map<string, LeanFileProgressProcessingInfo[]>>;
-/**
- * Certain infoview components and widget instances
- * utilize data that has been introduced above a specific position
- * in a Lean source file.
- *
- * For instance, if we declare a global constant with `def foo` on line 10,
- * we can immediately display it in a widget on line 11.
- * To achieve this, the widget code needs to have access
- * to the environment on line 11 as that environment contains `foo`.
- *
- * {@link EnvPosContext} stores the position in the file
- * from which an appropriate environment can be retrieved.
- * This is used to look up global constants,
- * in particular RPC methods (`@[server_rpc_method]`)
- * and widget modules (`@[widget_module]`).
- *
- * Note that {@link EnvPosContext} may, but need not,
- * be equal to any of the positions which the infoview keeps track of
- * (such as the editor cursor position).
- *
- * #### Infoview implementation details
- *
- * In the infoview, {@link EnvPosContext} is set as follows:
- * - in an `<InfoDisplay>`,
- *   it is the position at which the info block is being displayed:
- *   either a recent editor cursor position
- *   (when shown in the at-cursor `<InfoDisplay>`,
- *   this will lag behind the current editor cursor position
- *   while the `<InfoDisplay>` is in the process of updating),
- *   or a pinned position.
- * - in an `<InteractiveMessage>` that comes from a diagnostic
- *   emitted with a syntactic range,
- *   it is the start of the diagnostic's `fullRange`.
- */
-export declare const EnvPosContext: React.Context<DocumentPosition | undefined>;

package/dist/vscode-lean4/lean4-infoview/src/infoview/contexts.js DELETED Viewed

@@ -1,44 +0,0 @@
-import * as React from 'react';
-import { defaultInfoviewConfig } from '@leanprover/infoview-api';
-// Type-unsafe initializers for contexts which we immediately set up at the top-level.
-// eslint-disable-next-line @typescript-eslint/no-unsafe-argument
-export const EditorContext = React.createContext(null);
-export const VersionContext = React.createContext(undefined);
-export const ConfigContext = React.createContext(defaultInfoviewConfig);
-export const LspDiagnosticsContext = React.createContext(new Map());
-export const ProgressContext = React.createContext(new Map());
-/**
- * Certain infoview components and widget instances
- * utilize data that has been introduced above a specific position
- * in a Lean source file.
- *
- * For instance, if we declare a global constant with `def foo` on line 10,
- * we can immediately display it in a widget on line 11.
- * To achieve this, the widget code needs to have access
- * to the environment on line 11 as that environment contains `foo`.
- *
- * {@link EnvPosContext} stores the position in the file
- * from which an appropriate environment can be retrieved.
- * This is used to look up global constants,
- * in particular RPC methods (`@[server_rpc_method]`)
- * and widget modules (`@[widget_module]`).
- *
- * Note that {@link EnvPosContext} may, but need not,
- * be equal to any of the positions which the infoview keeps track of
- * (such as the editor cursor position).
- *
- * #### Infoview implementation details
- *
- * In the infoview, {@link EnvPosContext} is set as follows:
- * - in an `<InfoDisplay>`,
- *   it is the position at which the info block is being displayed:
- *   either a recent editor cursor position
- *   (when shown in the at-cursor `<InfoDisplay>`,
- *   this will lag behind the current editor cursor position
- *   while the `<InfoDisplay>` is in the process of updating),
- *   or a pinned position.
- * - in an `<InteractiveMessage>` that comes from a diagnostic
- *   emitted with a syntactic range,
- *   it is the start of the diagnostic's `fullRange`.
- */
-export const EnvPosContext = React.createContext(undefined);

package/dist/vscode-lean4/lean4-infoview/src/infoview/editorConnection.d.ts DELETED Viewed

@@ -1,22 +0,0 @@
-import type { Location } from 'vscode-languageserver-protocol';
-import { EditorApi, InfoviewAction, InfoviewActionKind, InfoviewApi, PlainGoal, PlainTermGoal } from '@leanprover/infoview-api';
-import { EventEmitter, Eventify } from './event';
-import { DocumentPosition } from './util';
-export type EditorEvents = Omit<Eventify<InfoviewApi>, 'requestedAction' | 'goToDefinition'> & {
-    requestedAction: EventEmitter<InfoviewAction, InfoviewActionKind>;
-    goToDefinition: EventEmitter<string, string>;
-};
-/** Provides higher-level wrappers around functionality provided by the editor,
- * e.g. to insert a comment. See also {@link EditorApi}. */
-export declare class EditorConnection {
-    readonly api: EditorApi;
-    readonly events: EditorEvents;
-    constructor(api: EditorApi, events: EditorEvents);
-    /** Highlights the given range in a document in the editor. */
-    revealLocation(loc: Location): Promise<void>;
-    revealPosition(pos: DocumentPosition): Promise<void>;
-    /** Copies the text to a comment at the cursor position. */
-    copyToComment(text: string): Promise<void>;
-    requestPlainGoal(pos: DocumentPosition): Promise<PlainGoal | undefined>;
-    requestPlainTermGoal(pos: DocumentPosition): Promise<PlainTermGoal | undefined>;
-}

package/dist/vscode-lean4/lean4-infoview/src/infoview/editorConnection.js DELETED Viewed

@@ -1,41 +0,0 @@
-import { DocumentPosition } from './util';
-/** Provides higher-level wrappers around functionality provided by the editor,
- * e.g. to insert a comment. See also {@link EditorApi}. */
-export class EditorConnection {
-    api;
-    events;
-    constructor(api, events) {
-        this.api = api;
-        this.events = events;
-    }
-    /** Highlights the given range in a document in the editor. */
-    async revealLocation(loc) {
-        const show = {
-            uri: loc.uri,
-            selection: loc.range,
-        };
-        await this.api.showDocument(show);
-    }
-    async revealPosition(pos) {
-        const loc = {
-            uri: pos.uri,
-            range: {
-                start: pos,
-                end: pos,
-            },
-        };
-        await this.revealLocation(loc);
-    }
-    /** Copies the text to a comment at the cursor position. */
-    async copyToComment(text) {
-        await this.api.insertText(`/-\n${text}\n-/`, 'above');
-    }
-    requestPlainGoal(pos) {
-        const params = DocumentPosition.toTdpp(pos);
-        return this.api.sendClientRequest(pos.uri, '$/lean/plainGoal', params);
-    }
-    requestPlainTermGoal(pos) {
-        const params = DocumentPosition.toTdpp(pos);
-        return this.api.sendClientRequest(pos.uri, '$/lean/plainTermGoal', params);
-    }
-}

package/dist/vscode-lean4/lean4-infoview/src/infoview/event.d.ts DELETED Viewed

@@ -1,33 +0,0 @@
-import type { Disposable } from 'vscode-languageserver-protocol';
-export declare class EventEmitter<E, in out K> {
-    private freshId;
-    private handlers;
-    private handlersWithKey;
-    current?: E;
-    /**
-     * Register a handler that will receive events from this emitter
-     * and return a closure that removes the handler registration.
-     *
-     * If `key` is specified, only events fired with that key
-     * will be propagated to this handler.
-     */
-    on(handler: (_: E) => void, key?: K): Disposable;
-    /**
-     * Propagate the event to registered handlers.
-     *
-     * The event is propagated to all keyless handlers.
-     * Furthermore if `key` is provided,
-     * the event is also propagated to handlers registered with that key.
-     */
-    fire(event: E, key?: K): void;
-}
-type ExcludeNonEvent<T, U> = T extends (...args: any) => Promise<void> ? U : never;
-/**
- * Turn all fields in `T` which extend `(...args: As) => Promise<void>`
- * into event emitter fields `f: EventEmitter<As>`.
- * Other fields are removed.
- */
-export type Eventify<T> = {
-    [P in keyof T as ExcludeNonEvent<T[P], P>]: T[P] extends (arg: infer A) => Promise<void> ? EventEmitter<A, never> : T[P] extends (...args: infer As) => Promise<void> ? EventEmitter<As, never> : never;
-};
-export {};