Documentation
Lean
.
Util
Search
Google site search
Lean
.
Util
source
Imports
Init
Lean.Util.CollectFVars
Lean.Util.CollectLevelParams
Lean.Util.CollectMVars
Lean.Util.FindExpr
Lean.Util.FindLevelMVar
Lean.Util.FindMVar
Lean.Util.FoldConsts
Lean.Util.ForEachExpr
Lean.Util.ForEachExprWhere
Lean.Util.HasConstCache
Lean.Util.MonadCache
Lean.Util.OccursCheck
Lean.Util.PPExt
Lean.Util.Path
Lean.Util.Paths
Lean.Util.Profile
Lean.Util.RecDepth
Lean.Util.ReplaceExpr
Lean.Util.ReplaceLevel
Lean.Util.SCC
Lean.Util.ShareCommon
Lean.Util.Sorry
Lean.Util.Trace
Imported by