Small improvement in a comment.

47283f04 · MARTINOT Olivier · f3f73388 · 47283f04 · 47283f04
Commit 47283f04 authored 2 years ago by MARTINOT Olivier
--- a/client/Datatype.ml
+++ b/client/Datatype.ml
-(* tyconstr_id is the name of an datatype constructor.
-   label_id is the name of a field label or data constructor. *)
+(* [tyconstr_id] is the name of an datatype constructor.
+   [label_id] is the name of a field label or data constructor. *)
 type tyconstr_id = Type of string
 type label_id = Label of string


--- a/client/Datatype.mli
+++ b/client/Datatype.mli
-(* tyconstr_id is the name of an datatype constructor.
-   label_id is the name of a field label or data constructor. *)
+(* [tyconstr_id] is the name of an datatype constructor.
+   [label_id] is the name of a field label or data constructor. *)
 type tyconstr_id = Type of string
 type label_id = Label of string