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