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