We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e997257 commit f8e9e86Copy full SHA for f8e9e86
modeq/classinf.rml
@@ -4,7 +4,7 @@
4
**
5
** RCS: $Id$
6
7
- ** This module deals with class inference, that is determining if a
+ ** This module deals with class inference, i.e. determining if a
8
** class definition adhers to one of the class restrictions, and, if
9
** specifically declared in a restrictied form, if it breaks that
10
** restriction.
@@ -157,7 +157,8 @@ end
157
(** - Transitions *)
158
159
(** relation: start
160
- ** purpose: State machine initialization
+ **
161
+ ** This is the state machine initialization relation.
162
**)
163
164
relation start : (Absyn.Restriction, string) => State =
0 commit comments