Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
123456789101112# eukhe: the proof of LAW err_text_codex_usage_example## PROOF: the closed claim computes.
import Baseimport ../../bend/err_text.bend as Eimport ../../bend/wire.bend as Wrimport ../../laws/err_text.bend as ErrText
def ErrText.err_text_codex_usage_example(): {==}