Skip to content

refactor: move registration of namespaces on kernel add into elaborator #7854

refactor: move registration of namespaces on kernel add into elaborator

refactor: move registration of namespaces on kernel add into elaborator #7854

Annotations

1 warning

check-lean-files

succeeded Jan 18, 2025 in 28s