- irrelevant: Lean.IR.CtorFieldInfo
- object: Nat → Lean.IR.CtorFieldInfo
- usize: Nat → Lean.IR.CtorFieldInfo
- scalar: Nat → Nat → Lean.IR.IRType → Lean.IR.CtorFieldInfo
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Lean.IR.CtorFieldInfo.instToFormat = { format := Lean.IR.CtorFieldInfo.format }
Instances For
@[extern lean_ir_get_ctor_layout]