Sse.last: def of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/sse.bend as Sse
Lines 98-101 of ezmcp@0.1.0.0/src/sse.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/sse.bend&start_line=98&end_line=101

import Base

# the data of the last event that has any; an event the stream cut off
# before its blank line still counts
def last(body: String) -> String:
  fin(lines(String.lines(body), Sse{None{}, ""}))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.lines
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/sse.bend&name=Sse
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/sse.bend&name=fin
  https://jend.leeeet.dev/definition.txt?path=ezmcp@0.1.0.0/src/sse.bend&name=lines