When are top-level module declarations evaluated?

When are top-level module declarations evaluated? On import?

Normally this wouldn’t matter, but there are cases where the RHS of a binding entails evaluating a partial function, so I’m wondering just how early that would blow up.

It’s evaluated lazily on the first use and the evaluation is cached (even across different transactions).