Updated documentation
Generalized type of `discard`