summaryrefslogtreecommitdiff
path: root/src/generate.mli
blob: 3fe0c60981447a2c78b91eec60b49a3e02e270c2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
exception Load_error of string
exception Write_error of string

val load_interface_definitions : string -> (Reference_tree.t, string) result

val reference_tree_to_json : ?internal_cache:string -> string -> string -> unit
[@@alert exn "Generate.Load_error"]
[@@alert exn "Generate.Write_error"]

val interface_definitions_to_cache : string -> string -> unit
[@@alert exn "Generate.Write_error"]

val reference_tree_cache_to_json : string -> string -> unit
[@@alert exn "Generate.Load_error"]
[@@alert exn "Generate.Write_error"]

val merge_reference_tree_cache : string -> string -> string -> unit
[@@alert exn "Generate.Load_error"]
[@@alert exn "Generate.Write_error"]
[@@alert exn "Tree_alg.Incompatible_union"]
[@@alert exn "Tree_alg.Nonexistent_child"]