Lean.Elab.HeaderSyntax →
  Lean.Options →
    Lean.MessageLog →
      Lean.Parser.InputContext →
        optParam UInt32 0 →
          optParam (Array System.FilePath) #[] →
            optParam Bool false → optParam Lean.Name Lean.Name.anonymous → IO (Lean.Environment × Lean.MessageLog)