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