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.
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.