+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
+