search

alexf91 / lean4-ctypes

FFI for Lean 4
Apache License 2.0
3 stars 0 forks source link

Avoid constant unboxing of `CType` values #3

Closed alexf91 closed 10 months ago

alexf91 commented 11 months ago

Currently we create a new object every time a CType value is unboxed. These values are immutable, so this is not necessary.