+val list_find_selected: 'b option -> (bool * 'b) list -> 'b option
+
+val list_visit:
+ (string -> string -> unit) -> (string -> bool -> string -> unit) ->
+ (RolesTypes.pointer -> 'a -> unit) -> (unit -> unit) ->
+ ('a -> string) -> RolesTypes.pointer -> (bool * 'a) list -> unit