Documentation

Lean.Runtime

@[extern lean_closure_max_args]
@[extern lean_max_small_nat]
constant Lean.maxSmallNatFn :
UnitNat