.SH NAME
Inline_records \- This test focuses on the printing of documentation for inline record within the latex generator.
.SH Module
Module   Inline_records
.SH Documentation
.sp
Module
.BI "Inline_records"
 : 
.B sig end

.sp
This test focuses on the printing of documentation for inline record
within the latex generator\&.

.sp

.sp
.sp

.I exception Simple 

.sp
A nice exception

.sp

.I exception Less 
.B of 
.B int

.sp
A less simple exception

.sp
.I type ext 
= ..

.sp
An open sum type

.sp
.I type r 
= {
 lbl : 
.B int
;  (* Field documentation for non\-inline, 
.ft B
lbl : int
.ft R

 *) 
 more : 
.B int list
;  (* More documentation for r, 
.ft B
more : int list
.ft R

 *) 
 }

.sp
A simple record type for reference

.sp
.I type t 
=
 | A
.B of {
 lbl : 
.B int
;  (* 
.ft B
A
.ft R
field documentation
 *) 
 more : 
.B int list
;  (* More 
.ft B
A
.ft R
field documentation
 *) 
 }
.I "  "
  (* Constructor documentation
 *)
 
.sp
A sum type with one inline record

.sp
.I type s 
=
 | B
.B of {
 a_label_for_B : 
.B int
;  (* 
.ft B
B
.ft R
field documentation
 *) 
 more_label_for_B : 
.B int list
;  (* More 
.ft B
B
.ft R
field documentation
 *) 
 }
.I "  "
  (* Constructor B documentation
 *)
 | C
.B of {
 c_has_label_too : 
.B float
;  (* 
.ft B
C
.ft R
field documentation
 *) 
 more_than_one : 
.B unit
;  (* \&.\&.\&. documentations
 *) 
 }
.I "  "
  (* Constructor C documentation
 *)
 
.sp
A sum type with two inline records

.sp
.I type any 
=
 | D
.B of {
 any : 
.B 'a
;  (* 
.ft B
A
.ft R
field 
.ft B
any:\&'a
.ft R
for 
.ft B
D
.ft R
in 
.ft B
any
.ft R
\&.
 *) 
 }
.B -> 
.B any
.I "  "
  (* Constructor D documentation
 *)
 
.sp
A gadt constructor

.sp

.I exception Error 
.B of {
 name : 
.B string
;  (* Error field documentation 
.ft B
name:string
.ft R

 *) 
 }

.sp

.sp
.I type ext 
+=
 | E
.B of {
 yet_another_field : 
.B unit
;  (* Field documentation for 
.ft B
E
.ft R
in ext
 *) 
 }
.I "  "
(* Constructor E documentation
 *)
 | F
.B of {
 even_more : 
.B int -> int
;  (* Some field documentations for 
.ft B
F
.ft R

 *) 
 }
.I "  "
(* Constructor F documentation
 *)
 | G
.B of {
 last : 
.B int -> int
;  (* The last and least field documentation
 *) 
 }
.I "  "
(* Constructor G documentation
 *)
 
.sp
Two new constructors for ext

.sp
