# eukhe: the proof of LAW err_text_timeout_example
#
# PROOF: the closed claim computes.

import Base
import ../../bend/err_text.bend as E
import ../../bend/wire.bend as Wr
import ../../laws/err_text.bend as ErrText

def ErrText.err_text_timeout_example():
  {==}