sig
  val string_of_message :
    (Simple_viewmanager.MakeImpl.ViewmgrDescriptor.t, GC.t)
    Request_types.Group_to_viewmanager.message -> string
  val sa_receive_request :
    ((Simple_viewmanager.MakeImpl.ViewmgrDescriptor.t, GC.t)
     Request_types.Group_to_viewmanager.send_request list -> unit)
    Sa_var.t
  val receive_request :
    (Simple_viewmanager.MakeImpl.ViewmgrDescriptor.t, GC.t)
    Request_types.Group_to_viewmanager.send_request list -> unit
  val viewmanager_request :
    ('a, 'b) Request_types.Group_to_viewmanager.send_request list
  val process_create_message : GC.t -> '-> unit
  val process_destroy_message :
    Simple_viewmanager.MakeImpl.ViewmgrDescriptor.t -> unit
  val process_viewmanager_request :
    (Simple_viewmanager.MakeImpl.ViewmgrDescriptor.t, GC.t)
    Request_types.Group_to_viewmanager.message -> unit
  val process_message :
    ('a, 'b) Request_types.Group_to_viewmanager.send_request list ->
    (Simple_viewmanager.MakeImpl.ViewmgrDescriptor.t, GC.t)
    Request_types.Group_to_viewmanager.message -> unit
end