def Lean.getMatchingConstants {m : Type → Type} [Monad m] [MonadEnv m] (p : ConstantInfo → m Bool) (includeImports : Bool := true) : m (Array ConstantInfo)

Find constants in current environment that match find options and predicate.

Equations

• One or more equations did not get rendered due to their size.