function ws.isWebSocketPingEventimport { ws } from "https://deno.land/x/aleph@v0.3.0-alpha.7/deps.ts"; const { isWebSocketPingEvent } = ws; isWebSocketPingEvent(a: WebSocketEvent): a is WebSocketPingEventReturns true if input value is a WebSocketPingEvent, false otherwise. Parametersa: WebSocketEventReturnsa is WebSocketPingEvent