def Lean.Environment.importsOf (env : Environment) (n : Name) : Array Name

Find the imports of a given module.

def Lean.Environment.importGraph (env : Environment) : NameMap (Array Name)

Construct the import graph of the current file.