Run.bend.is: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/run.bend as Run
Lines 299-304 of ezx@1.11.0.0/src/tool/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/tool/run.bend&start_line=299&end_line=304

import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/run/bend.bend as Bend

# the bend on the PATH, as its banner's first line. A bend that does not
# answer is "", and its build fails on its own.
def bend.is() -> IO(String):
  do IO<String>:
    +out : String <- Bend.version()
    return Bool.pick(String, R.ok(out), line0(String.lines(String.trim(R.text(out)))), "")

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  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=Base/base.bend&name=String.trim
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/run/bend.bend&name=version
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/run.bend&name=line0
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=ok
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=text