Module lean_sys::closure

source · [−]
Expand description

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⚠