Rewrite decoding for Lean datatypes #303
Description
The Rust FFI has a few recursive implementations for decoding Lean datatypes.
It seems to be a risky breakpoint for recurcion depth, depending on the depth of the Lean expressions at hand.
{{ message }}