Modules of minimal dimension over completed Weyl algebras | Synapse