~/jendhub

def id_of

bolt@1.27.0.0 · src/lsp/server.bend:137

import bolt@1.27.0.0/src/lsp/server.bend as Server
import Base
import emerging-ezjson@1.2.0.0/main.bend as Ezjson
import emerging-ezjson@1.2.0.0/src/value.bend as J

137# a message's id: null for a notification
138def id_of(msg: J.Json) -> J.Json:
139  Ezjson.get(msg, "id")

Uses (2)

Used by (1)