aboutsummaryrefslogtreecommitdiff
path: root/lib/models/permissions.ml
diff options
context:
space:
mode:
authorAdelyn Breedlove <[email protected]>2019-06-07 21:19:05 -0600
committerAdelyn Breedlove <[email protected]>2019-06-07 21:19:05 -0600
commit33f3ac292cb1fe6f0b2bd0ddafde68dd5abe6f99 (patch)
treee1f12e6e085f901b2079da6702b09785574a6407 /lib/models/permissions.ml
parentChange endpoint construction (diff)
downloaddisml-33f3ac292cb1fe6f0b2bd0ddafde68dd5abe6f99.tar.xz
disml-33f3ac292cb1fe6f0b2bd0ddafde68dd5abe6f99.zip
Add permission utilities
Diffstat (limited to 'lib/models/permissions.ml')
-rw-r--r--lib/models/permissions.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/models/permissions.ml b/lib/models/permissions.ml
index 7a21f61..feddc23 100644
--- a/lib/models/permissions.ml
+++ b/lib/models/permissions.ml
@@ -36,6 +36,8 @@ include BitMaskSet.Make(struct
let mask = 0b0111_1111_1111_0111_1111_1101_1111_1111
end)
+let to_int (t:t) : int = t
+
let sexp_of_t = Base.Int.sexp_of_t
let t_of_sexp = Base.Int.t_of_sexp