structure Lean.CollectAxioms.State : Type

• visited : NameSet
• axioms : Array Name

@[reducible, inline]

abbrev Lean.CollectAxioms.M (α : Type) : Type

partial def Lean.CollectAxioms.collect (c : Name) : M Unit

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