id_M -- the identity homomorphism from M to M.
The scripted functor id is a member of the class ScriptedFunctor.
Functions installed in id :