Documentation

Lean.Compiler.IR.CtorLayout

Instances For
    @[extern lean_ir_get_ctor_layout]