summaryrefslogtreecommitdiff
path: root/sid.mli
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-10-27 22:31:51 +0200
committerPhilipp Gesang <phg@phi-gamma.net>2018-10-30 01:15:03 +0100
commit8d1269767de9268db630187fc9da9b58c49a0745 (patch)
tree13b60b560cbe0eb5fc8e3b87da1a5c76d0425dcb /sid.mli
parenta626ab534224cc244d58259e622b9a59703223f6 (diff)
downloadocaml-sid-8d1269767de9268db630187fc9da9b58c49a0745.tar.gz
sid: define more constant authorities from MS-DTYP
Diffstat (limited to 'sid.mli')
-rw-r--r--sid.mli8
1 files changed, 7 insertions, 1 deletions
diff --git a/sid.mli b/sid.mli
index 12d31a9..f7fcbec 100644
--- a/sid.mli
+++ b/sid.mli
@@ -32,11 +32,17 @@ module WellKnown :
module Prefix :
sig
- val security_null_sid_authority : ?sa:sub_auths -> unit -> t
+ type toplevel_auth = ?sa:sub_auths -> unit -> t
+
+ val security_null_sid_authority : toplevel_auth
val security_world_sid_authority : ?sa:sub_auths -> unit -> t
val security_local_sid_authority : ?sa:sub_auths -> unit -> t
val security_creator_sid_authority : ?sa:sub_auths -> unit -> t
val security_nt_authority : ?sa:sub_auths -> unit -> t
+ val security_app_package_authority : ?sa:sub_auths -> unit -> t
+ val security_mandatory_label_authority : ?sa:sub_auths -> unit -> t
+ val security_scoped_policy_id_authority : ?sa:sub_auths -> unit -> t
+ val security_authentication_authority : ?sa:sub_auths -> unit -> t
end
end