A module cannot re-export declarations imported from other modules. A library that imports from multiple modules cannot expose a unified API surface to its own importers.

Spec reference: Chapter 8 (Modules), Section 8.11 limitations table.

Example of desired syntax (design TBD):

public import vera.math(abs, max)  -- re-exports abs and max