def Lean.collectAxioms {m : Type → Type} [Monad m] [MonadEnv m] (constName : Name) : m (Array Name)

Collect all axioms transitively used by a constant.