summaryrefslogtreecommitdiff
path: root/sid.mli
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-10-24 00:51:05 +0200
committerPhilipp Gesang <phg@phi-gamma.net>2018-10-28 23:07:08 +0100
commitb9571c4785e227a45a29b1b6f3be6aa944b14e34 (patch)
tree7d3c89d9f58f8b91557bba03c18ee2b2899e0360 /sid.mli
parent694afd97792c870619b8cfb3db480a502fe408e0 (diff)
downloadocaml-sid-b9571c4785e227a45a29b1b6f3be6aa944b14e34.tar.gz
xxd: add binary-text conversion helper
Diffstat (limited to 'sid.mli')
-rw-r--r--sid.mli2
1 files changed, 2 insertions, 0 deletions
diff --git a/sid.mli b/sid.mli
index d387aa0..9a7e8b0 100644
--- a/sid.mli
+++ b/sid.mli
@@ -5,6 +5,8 @@ val create_unsafe : Stdint.Uint32.t array -> Stdint.Uint64.t -> t
val create : ?sa:Stdint.Uint32.t array -> Stdint.Uint64.t -> t
val equal_sub_auths : Stdint.Uint32.t array -> Stdint.Uint32.t array -> bool
val equal : t -> t -> bool
+val get_ident_auth : t -> Stdint.Uint64.t
+val get_sub_auths : t -> sub_auths
module StringFmt :
sig