Module thunk 

Thunks

Functions

lean_mk_thunk^⚠

lean_obj_res^⚠

Thunk.pure : A -> Thunk A

lean_thunk_get^⚠

lean_thunk_get_core^⚠

lean_thunk_get_own^⚠