Documentation

Lean.Meta.TransparencyMode

source
def Lean.Meta.TransparencyMode.hash :
TransparencyMode → UInt64
Instances For
    source
    @[implicit_reducible]
    instance Lean.Meta.TransparencyMode.instHashable_lean :
    Hashable TransparencyMode
    source
    def Lean.Meta.TransparencyMode.lt :
    TransparencyMode → TransparencyMode → Bool
    Instances For