Rea.zero'
zero capability mix-in.
zero
method virtual zero' : ('R, 'e, 'a, 'D) zero'm
Implements the zero capability.