def DocGen4.envOfImports (imports : Array Lean.Name) : IO Lean.Environment

Equations

• DocGen4.envOfImports imports = do DocGen4.envOfImports.unsafe_impl_2 Lean.importModules (Array.map (fun (x : Lean.Name) => { module := x }) imports) Lean.Options.empty 0 #[] true true

def DocGen4.load (task : Process.AnalyzeTask) : IO Process.AnalyzerResult

Load a list of modules from the current Lean search path into an Environment to process for documentation.

Equations

• One or more equations did not get rendered due to their size.