equal
deleted
inserted
replaced
42 val content_of: body -> string |
42 val content_of: body -> string |
43 val trim_blanks: body -> body |
43 val trim_blanks: body -> body |
44 val header: string |
44 val header: string |
45 val text: string -> string |
45 val text: string -> string |
46 val element: string -> attributes -> string list -> string |
46 val element: string -> attributes -> string list -> string |
47 val output_markup: Markup.T -> Output.output * Output.output |
47 val output_markup: Markup.T -> Markup.output |
48 val string_of: tree -> string |
48 val string_of: tree -> string |
49 val pretty: int -> tree -> Pretty.T |
49 val pretty: int -> tree -> Pretty.T |
50 val output: tree -> BinIO.outstream -> unit |
50 val output: tree -> BinIO.outstream -> unit |
51 val parse_comments: string list -> unit * string list |
51 val parse_comments: string list -> unit * string list |
52 val parse_string : string -> string option |
52 val parse_string : string -> string option |