val oobj_union: RolesTypes.oobjs -> RolesTypes.oobjs -> RolesTypes.oobjs
+val oobj_of_nobj: RolesTypes.stage -> RolesTypes.nobj -> RolesTypes.oobj
+
val oobj_match: int -> int -> RolesTypes.oobjs -> RolesTypes.nobjs -> (int * int) option
val string_of_robj: RolesTypes.robj -> string
val robj_union: RolesTypes.robjs -> RolesTypes.robjs -> RolesTypes.robjs
-val robj_tops: RolesTypes.stage -> RolesTypes.robjs -> RolesTypes.oobjs * RolesTypes.oobjs
+val robj_tops: RolesTypes.stage -> RolesTypes.robjs -> RolesTypes.oobjs * RolesTypes.oobjs
val robj_split:
RolesTypes.stage -> RolesTypes.robjs ->
val pointer_of_string: string -> RolesTypes.pointer
+val pointer_visit: (RolesTypes.stage -> unit) -> RolesTypes.stage -> RolesTypes.pointer -> unit
+
val string_of_error: RolesTypes.error -> string