Documentation

Batteries.Lean.Except

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

Visualize an Except using a checkmark or a cross.

Equations
Instances For