def Except.emoji {ε : Type u_1} {α : Type u_2} : Except ε α → String

Visualize an Except using a checkmark or a cross.

Equations

• (Except.error a).emoji = Lean.crossEmoji
• (Except.ok a).emoji = Lean.checkEmoji