def initialized

ezmcp@0.1.0.0 · src/client.bend:23

import ezmcp@0.1.0.0/src/client.bend as Client
import Base
import emerging-ezjson@1.2.0.0/main.bend as Json
import emerging-ezjson@1.2.0.0/src/value.bend as Value
import ezmcp@0.1.0.0/src/rpc.bend as Rpc

23# the notification a client sends once initialize succeeded
24def initialized() -> Value.Json:  # noqa: L001 closed constant; notice_no_id holds for every notification
25  Rpc.notice("notifications/initialized", Json.obj([]))

Uses (4)

Used by (1)