+ ('a -> bool) -> ('a -> string) -> ('a -> string) -> RolesTypes.pointer -> 'a list -> unit
+
+val string_of_stage: RolesTypes.stage -> string
+
+val stage_of_string: string -> RolesTypes.stage
+
+val stage_compare: RolesTypes.stage -> RolesTypes.stage -> int
+
+val string_of_nobj: RolesTypes.nobj -> string
+
+val nobj_of_string: string -> RolesTypes.nobj
+
+val key_of_nobj: RolesTypes.nobj -> string
+
+val nobj_selected: RolesTypes.nobj -> bool
+
+val nobj_select: RolesTypes.nobj -> unit
+
+val nobj_union: RolesTypes.nobjs -> RolesTypes.nobjs -> RolesTypes.nobjs
+
+val string_of_oobj: RolesTypes.oobj -> string