Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
467 B · 12 lines
12345678910111213# eukhe: the proof of LAW command_ffi_malformed## PROOF of LAW command_ffi_malformed: the entry answers by the reading of# its input; that reading is Bad, which answers the malformed error.
import Baseimport ../../bend/ffi_command.bend as FCmdimport ../../bend/wire.bend as Wrimport ../../laws/command/entry.bend as Command
def Command.command_ffi_malformed(s, bad): Equal.cong(Wr.Dec<FCmd.Req>, String, d => FCmd.ffi.go(d), FCmd.get_req(s), Wr.Bad{}, bad)