feat(kframework_ffi): Marshaller for moving rust kore types to the llvm-backend#10

gtrepta merged 13 commits into

masterruntimeverification/kframework-rs:masterfrom

ffi_additionsruntimeverification/kframework-rs:ffi_additionsCopy head branch name to clipboard