Documentation

Lean.Data.Occurrences

source
inductive Lean.Occurrences :
Type
Instances For
    source
    instance Lean.instInhabitedOccurrences :
    Inhabited Lean.Occurrences
    source
    instance Lean.instBEqOccurrences :
    BEq Lean.Occurrences
    source
    def Lean.Occurrences.contains :
    Lean.Occurrences → Nat → Bool
    Instances For
      source
      def Lean.Occurrences.isAll :
      Lean.Occurrences → Bool
      Instances For