Module closure 

Closures

Functions

lean_alloc_closure^⚠

lean_apply_1^⚠

lean_apply_2^⚠

lean_apply_3^⚠

lean_apply_4^⚠

lean_apply_5^⚠

lean_apply_6^⚠

lean_apply_7^⚠

lean_apply_8^⚠

lean_apply_9^⚠

lean_apply_10^⚠

lean_apply_11^⚠

lean_apply_12^⚠

lean_apply_13^⚠

lean_apply_14^⚠

lean_apply_15^⚠

lean_apply_16^⚠

lean_apply_m^⚠

Pre: n > 16

lean_apply_n^⚠

lean_closure_arg_cptr^⚠

lean_closure_arity^⚠

lean_closure_fun^⚠

lean_closure_get^⚠

lean_closure_num_fixed^⚠

lean_closure_set^⚠