leanprover/lean4

`set_option trace.compiler.ffi_accessors`

Opened this issue · 0 comments

Should we have a set_option trace.compiler.ffi_accessors option to dump [field ordering and accessor information] for user structures?

Originally posted by @eric-wieser in #3915 (comment)