samer@0: % mpower - Arrow with state initialiser
samer@0: %
samer@0: % mpower :: arrow(A,B,S), S -> arrow(A,B,S).
samer@0: %
samer@0: % The resulting arrow is the same as the supplied arrow
samer@0: % except that its accessible state is explicitly initialised.
samer@0: function o=mpower(a,state), o=ainitstate(a,state);
samer@0: