diff options
| author | Adelyn Breelove <[email protected]> | 2019-01-29 10:01:35 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2019-01-29 10:01:35 -0700 |
| commit | 16cba5acd05093c66ab1432b40d40605c1098407 (patch) | |
| tree | 28adffb77476315809fe133993c243c036447dc4 /lib/client_options.mli | |
| parent | Remove outdated docs (diff) | |
| download | disml-16cba5acd05093c66ab1432b40d40605c1098407.tar.xz disml-16cba5acd05093c66ab1432b40d40605c1098407.zip | |
Add client options
Diffstat (limited to 'lib/client_options.mli')
| -rw-r--r-- | lib/client_options.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/client_options.mli b/lib/client_options.mli index edf80e1..455ed58 100644 --- a/lib/client_options.mli +++ b/lib/client_options.mli @@ -1,2 +1,4 @@ (** Token that is set when using {!Client.start} *)
-val token : string ref
\ No newline at end of file +val token : string ref
+val large_threshold : int ref
+val compress : bool ref
\ No newline at end of file |