[V] $lib

const $lib: TypeSpecLibrary<{
  terminal-event-not-in-events: {
     default: "A field marked as '@terminalEvent' must be a member of a type decorated with '@TpeSpec.Events.events'.";
    };
}, Record<string, any>, "terminalEvent">;