Documentation

Lean.Compiler.IR.CtorLayout

Instances For
@[extern lean_ir_get_ctor_layout]