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