def initialized
import ezmcp@0.1.0.0/src/client.bend as Clientimport 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([]))