Module lean_sys::constructor

source · [−]
Expand description

Constructor objects

Functions

lean_alloc_ctor⚠
lean_ctor_get⚠
lean_ctor_get_float⚠
lean_ctor_get_uint8⚠
lean_ctor_get_uint16⚠
lean_ctor_get_uint32⚠
lean_ctor_get_uint64⚠
lean_ctor_get_usize⚠
lean_ctor_num_objs⚠
lean_ctor_obj_cptr⚠
lean_ctor_release⚠
lean_ctor_scalar_cptr⚠
lean_ctor_set⚠
lean_ctor_set_float⚠
lean_ctor_set_tag⚠
lean_ctor_set_uint8⚠
lean_ctor_set_uint16⚠
lean_ctor_set_uint32⚠
lean_ctor_set_uint64⚠
lean_ctor_set_usize⚠