opaque leansearch.queries : Lean.Option Nat

opaque moogle.queries : Lean.Option Nat

opaque loogle.queries : Lean.Option Nat

opaque leansearchclient.useragent : Lean.Option String