Rea.branch'of
branch capability projection.
branch
method branch' : ('R, 'e, 'a, 'b, 'c, 'D) branch'm