Class Rea.pure'of

pure capability projection.

method pure' : ('R, 'e, 'a, 'D) pure'm