Documentation

Batteries.Lean.Meta.Expr

source
@[instance_reducible]
instance Lean.Literal.instOrd_batteries :
Ord Literal