Prove.say: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/prove.bend as Prove
Lines 97-105 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=97&end_line=105

import Base

# one proof's line. A proof that held says so in one line; one that did not
# names itself and then prints what bend said, since that is where the law
# that failed is named.
def say(ok: Bool, +path: String, +text: String) -> IO(Unit):
  match ok:
    case True{}:
      IO.print("ok: " ++ path)
    case False{}:
      IO.write("FAIL: " ++ path ++ "\n" ++ indent(text))

Uses (8):
  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.print
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.write
  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=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ez/prove.bend&name=indent