Prove.one: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/prove.bend as Prove
Lines 111-118 of ezx@1.11.0.0/src/ez/prove.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/prove.bend&start_line=111&end_line=118

import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/share/cap.bend as Cap
import ezx@1.11.0.0/src/ez/quiet.bend as Q

# one proof against its answer: the run's first line, with a memory kill turned
# into a sentence in front of what it printed
def one(+path: String, +gigs: String, +output: String, +passed: Nat) -> IO(Nat):
  do IO<Nat>:
    +text : String <- IO.pure(String, R.text(output))
    +ok : Bool <- IO.pure(Bool, String.eq(head(text), verdict()))
    say(ok, path, Cap.why(output, gigs) ++ Q.chomp(text))
    return count(ok, passed)

Uses (16):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/prove.bend&name=count
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/prove.bend&name=head
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/prove.bend&name=say
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/prove.bend&name=verdict
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/quiet.bend&name=chomp
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/cap.bend&name=why
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=text