def Lean.Meta.TransparencyMode.hash : Lean.Meta.TransparencyMode → UInt64

instance Lean.Meta.TransparencyMode.instHashable_lean : Hashable Lean.Meta.TransparencyMode

def Lean.Meta.TransparencyMode.lt : Lean.Meta.TransparencyMode → Lean.Meta.TransparencyMode → Bool

Equations

• Lean.Meta.TransparencyMode.reducible.lt Lean.Meta.TransparencyMode.default = true
• Lean.Meta.TransparencyMode.reducible.lt Lean.Meta.TransparencyMode.all = true
• Lean.Meta.TransparencyMode.reducible.lt Lean.Meta.TransparencyMode.instances = true
• Lean.Meta.TransparencyMode.instances.lt Lean.Meta.TransparencyMode.default = true
• Lean.Meta.TransparencyMode.instances.lt Lean.Meta.TransparencyMode.all = true
• Lean.Meta.TransparencyMode.default.lt Lean.Meta.TransparencyMode.all = true
• x✝.lt x = false