1
2
3
4
5
6
7
8
9
10
11
12
13
14
type addr = string
[@@deriving show]
type delim = Braces | Squares | Parens
[@@deriving show]
type math_mode = Inline | Display
[@@deriving show]
type transclusion_mode = Full | Collapsed | Spliced
[@@deriving show]
type visibility = Private | Public
[@@deriving show]