Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
187 B · 7 lines
12345678# eukhe: the proof of LAW kernel_ffi_example
import Baseimport ../../laws/kernel_local.bend as KernelLocal
def KernelLocal.kernel_ffi_example(): ({==}, {==}, {==}, {==}, {==}, {==})