summaryrefslogtreecommitdiff
path: root/src/config_dict.mli
blob: 6f0d8c9b3a512f8b18a1949b2173336c22d8de5d (plain)
1
2

val config_dict : ?with_defaults:bool -> ?with_first_node:bool -> Reference_tree.t -> Config_tree.t -> Config_tree.t -> string list -> string