+val robj_select: RolesTypes.robj -> unit
+
+val robj_expand: RolesTypes.robj -> unit
+
+val robj_union: RolesTypes.robjs -> RolesTypes.robjs -> RolesTypes.robjs
+
+val robj_tops: RolesTypes.stage -> RolesTypes.robjs -> RolesTypes.oobjs * RolesTypes.oobjs
+
+val robj_split:
+ RolesTypes.stage -> RolesTypes.robjs ->
+ RolesTypes.robjs * RolesTypes.oobjs * RolesTypes.nobjs