Documentation

Lean.Util.SCC

structure Lean.SCC.Data :
Type
structure Lean.SCC.State (α : Type) [inst : BEq α] [inst : Hashable α] :
Type
@[inline]
abbrev Lean.SCC.M (α : Type) [inst : BEq α] [inst : Hashable α] (α : Type) :
Type
Equations
def Lean.SCC.scc {α : Type} [inst : BEq α] [inst : Hashable α] (vertices : List α) (successorsOf : αList α) :
List (List α)
Equations