aboutsummaryrefslogtreecommitdiff
path: root/lib/models/id/channel_id.mli
diff options
context:
space:
mode:
authorAdelyn Breelove <[email protected]>2019-01-23 10:40:04 -0700
committerAdelyn Breelove <[email protected]>2019-01-23 10:40:04 -0700
commitf23a12be25f819b9cc9ae05829b14edb6807082f (patch)
treee90bf9fa5a469c9707feccce9bf3926858c67f35 /lib/models/id/channel_id.mli
parentfix a doc typo (diff)
downloaddisml-f23a12be25f819b9cc9ae05829b14edb6807082f.tar.xz
disml-f23a12be25f819b9cc9ae05829b14edb6807082f.zip
Guild ID and Channel ID abstractions
Diffstat (limited to 'lib/models/id/channel_id.mli')
-rw-r--r--lib/models/id/channel_id.mli3
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/models/id/channel_id.mli b/lib/models/id/channel_id.mli
new file mode 100644
index 0000000..f352160
--- /dev/null
+++ b/lib/models/id/channel_id.mli
@@ -0,0 +1,3 @@
+include module type of Channel_id_t
+include S.ChannelImpl with
+ type t := Channel_id_t.t \ No newline at end of file