val add_role: unit -> unit
+val add_tops: RolesTypes.version -> unit
+
+val add_matching: unit -> unit
+
val read_waiting: string -> unit
val read_status: unit -> unit
val write_status: unit -> unit
+
+val print_status: unit -> unit
+
+val visit_status:
+ (string -> string -> unit) -> (string -> bool -> string -> unit) ->
+ (string -> unit) -> (unit -> unit) -> (unit -> unit) -> (string -> unit) ->
+ (string -> string -> unit) -> (string -> bool -> string -> unit) -> (unit -> unit) ->
+ (string -> string -> unit) -> (string -> bool -> string -> unit) -> (unit -> unit) ->
+ unit