+val objs_union: RolesTypes.objs -> RolesTypes.objs -> RolesTypes.objs
+
+val string_of_role: RolesTypes.role -> string
+
+val roles_union: RolesTypes.roles -> RolesTypes.roles -> RolesTypes.roles
+
+val exists_role_deleted: RolesTypes.version -> RolesTypes.roles -> bool
+
+val get_tops: RolesTypes.version -> RolesTypes.roles -> RolesTypes.objs * RolesTypes.objs
+
+val match_names: int -> int -> RolesTypes.objs -> RolesTypes.names -> (int * int) option
+