Documentation

Lean.Runtime

source
@[extern lean_closure_max_args]
constant Lean.closureMaxArgsFn :
Unit → Nat
source
@[extern lean_max_small_nat]
constant Lean.maxSmallNatFn :
Unit → Nat
source
def Lean.closureMaxArgs :
Nat
Equations
source
def Lean.maxSmallNat :
Nat
Equations