aboutsummaryrefslogtreecommitdiff
path: root/lib/models/gen/ban_t.ml
diff options
context:
space:
mode:
authorAdelyn Breedlove <[email protected]>2018-12-14 16:49:37 -0700
committerAdelyn Breedlove <[email protected]>2018-12-14 16:49:37 -0700
commit41fbba7d0b7dd9fff8dcb9985a474cfbbd2408f2 (patch)
tree690861418bed15de47e7cf5672d96fdacc9abe5e /lib/models/gen/ban_t.ml
parentMerge branch 'dev' of https://gitlab.com/Mishio595/disml into dev (diff)
parentA few metafile updates (diff)
downloaddisml-41fbba7d0b7dd9fff8dcb9985a474cfbbd2408f2.tar.xz
disml-41fbba7d0b7dd9fff8dcb9985a474cfbbd2408f2.zip
Merging
Diffstat (limited to 'lib/models/gen/ban_t.ml')
-rw-r--r--lib/models/gen/ban_t.ml6
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/models/gen/ban_t.ml b/lib/models/gen/ban_t.ml
new file mode 100644
index 0000000..7d9c5a0
--- /dev/null
+++ b/lib/models/gen/ban_t.ml
@@ -0,0 +1,6 @@
+(* Auto-generated from "ban.atd" *)
+ [@@@ocaml.warning "-27-32-35-39"]
+
+type user = User_t.t
+
+type t = { reason: string option; user: user }