Documentation

Lean.Runtime

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
def Lean.closureMaxArgs :
Nat
Equations
    Instances For
      source
      def Lean.maxSmallNat :
      Nat
      Equations
        Instances For
          source
          def Lean.libUVVersion :
          Nat
          Equations
            Instances For