Documentation

Lean.Runtime

← Mathematical handbook
source
@[extern lean_closure_max_args]
opaque Lean.closureMaxArgsFn :
Unit → Nat
source
@[extern lean_max_small_nat]
opaque Lean.maxSmallNatFn :
Unit → Nat
source
@[extern lean_libuv_version]
opaque Lean.libUVVersionFn :
Unit → Nat
source
@[extern lean_openssl_version]
opaque Lean.openSSLVersionFn :
Unit → Nat
source
def Lean.closureMaxArgs :
Nat
Equations
Instances For
    source
    def Lean.maxSmallNat :
    Nat
    Equations
    Instances For
      source
      def Lean.libUVVersion :
      Nat
      Equations
      Instances For
        source
        def Lean.openSSLVersion :
        Nat
        Equations
        Instances For