aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorAdelyn Breedlove <[email protected]>2019-01-21 20:20:27 -0700
committerAdelyn Breedlove <[email protected]>2019-01-21 20:20:27 -0700
commit7e49087919805686e5076950fe38e8e786eeeade (patch)
tree3543b4fc09c435693a19fbab8e43e41fbe65abe5 /lib
parentDocs! (diff)
downloaddisml-7e49087919805686e5076950fe38e8e786eeeade.tar.xz
disml-7e49087919805686e5076950fe38e8e786eeeade.zip
fix a doc typo
Diffstat (limited to 'lib')
-rw-r--r--lib/sharder.mli1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/sharder.mli b/lib/sharder.mli
index aa040f9..86a0da0 100644
--- a/lib/sharder.mli
+++ b/lib/sharder.mli
@@ -27,6 +27,7 @@ module Shard : sig
url: string; (** The websocket URL in use. *)
id: int * int; (** A tuple as expected by Discord. First element is the current shard index, second element is the total shard count. *)
}
+
(** Wrapper around an internal state, used to wrap {!shard}. *)
type 'a t = {
mutable state: 'a;