1// module `package::prelude`: a pure re-export module.
2// `public import` re-exports the imported items under this module's path, so
3// importers can write `import package::prelude::{pdot2, x2, dbl};` or, thanks
4// to the module attribute below, `import package::prelude::*;`.
5
6// re-exports with renaming; the originals must be `public` (a re-export
7// cannot widen visibility).
8public import package::util::{dot2 as pdot2, cross2 as x2};
9public import package::util::ops::double as dbl;
10
11// TODO: wildcards
12// @!wildcardable;