blob: 7562a0b8ffdd6e2606378600e6b3e05976470e07 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
(** This test is here to check the latex code generated for variants *)
type s = A | B (** only B is documented here *) | C
type t =
| A
(** doc for A *)
| B
(** doc for B *)
(** Some documentation for u*)
type u =
| A (** doc for A *) | B of unit (** doc for B *)
(** With records *)
type w =
| A of { x: int }
(** doc for A *)
| B of { y:int }
(** doc for B *)
(** With args *)
type z =
| A of int
(** doc for A *)
| B of int
(** doc for B *)
(** Gadt notation *)
type a =
A: a (** doc for A*)
(** Lonely constructor *)
type b =
B (** doc for B *)
type no_documentation = A | B | C
|
