Enc.negotiate: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lsp/enc.bend as Enc
Lines 53-56 of bolt@1.27.0.0/src/lsp/enc.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lsp/enc.bend&start_line=53&end_line=56

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

# the encoding initialize settles on: utf-32 when the client's
# general.positionEncodings offers it, else UTF-16, LSP's default
def negotiate(params: J.Json) -> Enc:
  chosen(offers(cells(Ezjson.get(Ezjson.get(Ezjson.get(params, "capabilities"), "general"), "positionEncodings"))))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/enc.bend&name=Enc
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/enc.bend&name=cells
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/enc.bend&name=chosen
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lsp/enc.bend&name=offers
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/main.bend&name=get
  https://jend.leeeet.dev/definition.txt?path=emerging-ezjson@1.4.0.0/src/value.bend&name=Json