File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change 69
69
% %% <p>Specifies the initial state of the finite state machine. As with
70
70
% %% `proper_statem:initial_state/0', its result should be deterministic.
71
71
% %% </p></li>
72
- % %% <li> `initial_state_data() :: ' {@type state_data()}
72
+ % %% <li> `initial_state_data() -> ' {@type state_data()}
73
73
% %% <p>Specifies what the state data should initially contain. Its result
74
74
% %% should be deterministic</p></li>
75
- % %% <li> `StateName(S::'{@type state_data()}`) :: '
75
+ % %% <li> `StateName(S::'{@type state_data()}`) -> '
76
76
% %% `['{@type transition()}`]'
77
77
% %% <p>There should be one instance of this function for each reachable
78
78
% %% state `StateName' of the finite state machine. In case `StateName' is a
90
90
% %% them. This feature can be used to include conditional transitions that
91
91
% %% depend on the `StateData'.</p></li>
92
92
% %% <li> `StateName(Attr1::term(), ..., AttrN::term(),
93
- % %% S::'{@type state_data()}`) :: '
93
+ % %% S::'{@type state_data()}`) -> '
94
94
% %% `['{@type transition()}`]'
95
95
% %% <p>There should be one instance of this function for each reachable state
96
96
% %% `{StateName,Attr1,...,AttrN}' of the finite state machine. The function
You can’t perform that action at this time.
0 commit comments