Documentation

Lean.Meta.TransparencyMode

source
def Lean.Meta.TransparencyMode.hash :
TransparencyMode → UInt64
Equations
    Instances For
      source
      instance Lean.Meta.TransparencyMode.instHashable_lean :
      Hashable TransparencyMode
      Equations
        source
        def Lean.Meta.TransparencyMode.lt :
        TransparencyMode → TransparencyMode → Bool
        Equations
          Instances For