Documentation

Lean.Runtime

@[extern lean_closure_max_args]
@[extern lean_max_small_nat]
@[extern lean_libuv_version]