Module external 

External objects

Functions

lean_alloc_external^⚠

lean_get_external_class^⚠

lean_get_external_data^⚠

lean_register_external_class^⚠

lean_set_external_data^⚠