Documentation

Lean.Meta.TransparencyMode

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