lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard
verified publisher icon leanprover

`set_option trace.compiler.ffi_accessors`

Open digama0 opened this issue 1 year ago • 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 https://github.com/leanprover/lean4/pull/3915#discussion_r1585705089

digama0 avatar May 01 '24 00:05 digama0