Documentation
Std
.
Lean
.
Meta
.
Expr
Search
Google site search
Std
.
Lean
.
Meta
.
Expr
source
Imports
Init
Lean.Expr
Imported by
Lean
.
Literal
.
instOrdLiteral
source
instance
Lean
.
Literal
.
instOrdLiteral
:
Ord
Lean.Literal