Documentation

ImportGraph.Graph.TransitiveClosure

Transitive closure of a graph #

A "graph" in this context is a NameMap (Array Name).

source
def Lean.NameMap.transitiveClosure (m : NameMap (Array Name)) :
NameMap NameSet

Compute the transitive closure of an import graph.

Equations
    Instances For