If ReturnMap is set to true, then instead of embedAsIdeal converting a module into an isomorphic ideal, this also returns the map from the module to the ring.
The source of this document is in /__w/M2/M2/macaulay2-1.26.05+ds/M2/Macaulay2/packages/WeilDivisors.m2:3284:0.