val oobj_match: int -> int -> RolesTypes.oobjs -> RolesTypes.nobjs -> (int * int) option
val string_of_robj: RolesTypes.robj -> string
val oobj_match: int -> int -> RolesTypes.oobjs -> RolesTypes.nobjs -> (int * int) option
val string_of_robj: RolesTypes.robj -> string