annotate arrows/@unfolder/unfolder.m @ 6:0ce3c2070089

Removed duplicate code and fixed doc in timed_action.

% unfolder - unfolding arrow
%
% unfolder ::
%    (S -> B, S)  ~'function to state to output and next state',
%    S            ~'initial state'
% -> arrow({},{B},S) ~'arrow from A to B with state of type S'.

function o=unfolder(fn,s0)
	s.fn=fn; s.s0=s0;
	o=class(s,'unfolder',arrow(0,1));
end