C FFI: How to auto free pointer

Stream: lean4

[Locria Cyber]

I have a Lean type that maps to a pointer. I want to free to pointer when the lean type is not referenced anymore. How to do that automatically?

[Sebastian Ullrich]

This is what lean_external_object is for. I think you can find instructions on how to use it in past discussions in this channel.