cover M -- yields the free module whose basis elements correspond to the generators of M.
See also:
Ways to use cover :