+val oobj_selected: RolesTypes.oobj -> bool
+
+val oobj_select: RolesTypes.oobj -> unit
+
+val oobj_union: RolesTypes.oobjs -> RolesTypes.oobjs -> RolesTypes.oobjs
+
+val oobj_match: int -> int -> RolesTypes.oobjs -> RolesTypes.nobjs -> (int * int) option
+
+val string_of_robj: RolesTypes.robj -> string
+
+val key_of_robj: RolesTypes.robj -> string
+
+val robj_selected: RolesTypes.robj -> bool
+
+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