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
type addr = User_addr of string | Machine_addr of int
let pp_addr fmt =
function
| User_addr str -> Format.pp_print_string fmt str
| Machine_addr ix -> Format.fprintf fmt "#%i" ix
module Addr =
struct
type t = addr
let compare = compare
let hash = Hashtbl.hash
let equal = (=)
let to_user_addr =
function
| User_addr addr -> Some addr
| _ -> None
end
type delim = Braces | Squares | Parens
[@@deriving show]
type math_mode = Inline | Display
[@@deriving show]
type visibility = Private | Public
[@@deriving show]
type xml_resolved_qname = {prefix : string option; uname : string; xmlns : string option}
[@@deriving show]