Documentation

Lean.Compiler.IR.CtorLayout

Equations
Instances For
    Instances For
      @[extern lean_ir_get_ctor_layout]