Add support for unions - Githubissues

alexf91 / lean4-ctypes

FFI for Lean 4

Apache License 2.0

3 stars 0 forks source link

Closed alexf91 closed 8 months ago

alexf91 commented 8 months ago

Unions are currently not implemented.

alexf91 commented 8 months ago

The new type system does not support unions.