1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
let tyvar_of_name s =
if String.length s >= 2 && s.[1] = '\'' then
"' " ^ s
else if Lexer.is_keyword s then
"'\\#" ^ s
else if String.equal s "_" then
s
else
"'" ^ s
module Doc = struct
let tyvar ppf s =
Format_doc.fprintf ppf "%s" (tyvar_of_name s)
end
let tyvar ppf v = Format_doc.compat Doc.tyvar ppf v