summaryrefslogtreecommitdiff
path: root/src/union.mli
blob: 6089c9f5ee201b0d18126a460ecc50d879b8af56 (plain)
1
2
3
4
5
6
7
val tree_union : Config_tree.t -> Config_tree.t -> Config_tree.t
[@@alert exn "Tree_alg.Incompatible_union"]
[@@alert exn "Tree_alg.Nonexistent_child"]

val tree_merge : ?destructive:bool -> Config_tree.t -> Config_tree.t -> Config_tree.t
[@@alert exn "Tree_alg.Incompatible_union"]
[@@alert exn "Tree_alg.Nonexistent_child"]