Lean.Syntax →
  Lean.Elab.Modifiers →
    Lean.BinderInfo →
      Lean.Name →
        Lean.Syntax →
          Lean.Name →
            Lean.Name →
              Lean.Syntax →
                Option Lean.Syntax →
                  Option Lean.Elab.Command.Structure.StructFieldViewDefault →
                    Lean.Elab.Command.Structure.StructFieldView