Documentation

Lean.Util.CollectAxioms

Instances For
    @[reducible, inline]
    Equations
      Instances For
        def Lean.collectAxioms {m : TypeType} [Monad m] [MonadEnv m] (constName : Name) :
        Equations
          Instances For