Documentation
LeanSearchClient
.
Basic
Search
return to top
source
Imports
Init
Lean.Data.Options
Imported by
leansearch
.
queries
moogle
.
queries
loogle
.
queries
statesearch
.
queries
statesearch
.
revision
leansearchclient
.
useragent
leansearchclient
.
backend
source
opaque
leansearch
.
queries
:
Lean.Option
Nat
source
opaque
moogle
.
queries
:
Lean.Option
Nat
source
opaque
loogle
.
queries
:
Lean.Option
Nat
source
opaque
statesearch
.
queries
:
Lean.Option
Nat
source
opaque
statesearch
.
revision
:
Lean.Option
String
source
opaque
leansearchclient
.
useragent
:
Lean.Option
String
source
opaque
leansearchclient
.
backend
:
Lean.Option
String