diff options
Diffstat (limited to 'src/vyconf_pbt.mli')
| -rw-r--r-- | src/vyconf_pbt.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/vyconf_pbt.mli b/src/vyconf_pbt.mli index d9eb8ef..c9a7530 100644 --- a/src/vyconf_pbt.mli +++ b/src/vyconf_pbt.mli @@ -90,11 +90,13 @@ type request_rollback = { type request_load = { location : string; + cached : bool; format : request_config_format option; } type request_merge = { location : string; + destructive : bool; format : request_config_format option; } @@ -315,6 +317,7 @@ val default_request_rollback : val default_request_load : ?location:string -> + ?cached:bool -> ?format:request_config_format option -> unit -> request_load @@ -322,6 +325,7 @@ val default_request_load : val default_request_merge : ?location:string -> + ?destructive:bool -> ?format:request_config_format option -> unit -> request_merge |