jon.recoil.org
this repo has no description
1type child = Page of string | Dir of string | Module of string
2
3type short_title = Comment.link_content
4
5type line
6
7type children_order = child Location_.with_location list Location_.with_location
8
9type t = {
10 children_order : children_order option;
11 short_title : short_title option;
12 toc_status : [ `Open | `Hidden ] option;
13 order_category : string option;
14}
15
16val empty : t
17
18type tag_payload = Comment.nestable_block_element Location_.with_location list
19
20val parse_children_order :
21 Location_.span ->
22 tag_payload ->
23 (line Location_.with_location, Error.t) result
24
25val parse_short_title :
26 Location_.span ->
27 tag_payload ->
28 (line Location_.with_location, Error.t) result
29
30val parse_toc_status :
31 Location_.span ->
32 tag_payload ->
33 (line Location_.with_location, Error.t) result
34
35val parse_order_category :
36 Location_.span ->
37 tag_payload ->
38 (line Location_.with_location, Error.t) result
39
40val of_lines : line Location_.with_location list -> t Error.with_warnings