Precomputed fields in FFI

Stream: lean4

[Leni Aniva]

What is the standard layout of precomputed fields (such as the one on Expr) in the Lean FFI? For example, if an Expr object is of the case .forallE, does it have 5 fields in the implementation with the last one being the hash?