Documentation

Aesop.Forward.SlotIndex

Instances For
    Equations
    Instances For
      def Aesop.instDecidableEqSlotIndex.decEq (x✝ x✝¹ : SlotIndex) :
      Decidable (x✝ = x✝¹)
      Equations
      Instances For
        Equations
        Instances For