summaryrefslogtreecommitdiff
path: root/sid.mli
diff options
context:
space:
mode:
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