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