opaque leansearch.queries : Lean.Option Nat

opaque moogle.queries : Lean.Option Nat

opaque loogle.queries : Lean.Option Nat

opaque statesearch.queries : Lean.Option Nat

opaque statesearch.revision : Lean.Option String

opaque leansearchclient.useragent : Lean.Option String