Class Rea.fail'of

fail capability projection.

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