Add definition to function Fold of player module