34e49164 C |
1 | open Common |
2 | |
ae4735db |
3 | (* used by tools/split_patch *) |
34e49164 C |
4 | |
5 | type patch = patchitem list |
6 | and patchitem = File of filename * string (* header line *) * string list |
7 | |
8 | val parse_patch : filename -> patch |
9 | val unparse_patch : patch -> filename (* outfile *) -> unit |