Instances For
Instances For
Instances For
Instances For
Find the common namespace for the given names. Example:
findCommonPrefix [`Lean.Elab.eval, `Lean.mkConst, `Lean.Elab.Tactic.evalTactic]
-- `Lean
Instances For
Equations
- One or more equations did not get rendered due to their size.
- Lean.Elab.Command.findCommonPrefix.go Lean.Name.anonymous ns = Lean.Name.anonymous
- Lean.Elab.Command.findCommonPrefix.go n [] = n
Instances For
Equations
- Lean.Elab.Command.findCommonPrefix.findCommon (a :: as_2) (b :: bs_2) = if (a == b) = true then a ++ Lean.Elab.Command.findCommonPrefix.findCommon as_2 bs_2 else Lean.Name.anonymous
- Lean.Elab.Command.findCommonPrefix.findCommon as bs = Lean.Name.anonymous