Module constructor 

Constructor objects

Functions

lean_alloc_ctor^⚠

lean_ctor_get^⚠

lean_ctor_get_float^⚠

lean_ctor_get_float32^⚠

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_float32^⚠

lean_ctor_set_tag^⚠

lean_ctor_set_uint8^⚠

lean_ctor_set_uint16^⚠

lean_ctor_set_uint32^⚠

lean_ctor_set_uint64^⚠

lean_ctor_set_usize^⚠