(dual,Module)
dual M
-- the dual of a module.
