.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