Ojsed_js.MakeSourcemodule P : Ojs_ed.Types.Pmodule P :
Ojs_ed.Types.P
with type app_server_msg = P.app_server_msg
with type app_client_msg = P.app_client_msg
with type server_msg = P.server_msg
with type client_msg = P.client_msgclass editor : (P.client_msg ->
(P.server_msg -> unit Lwt.t) ->
unit Lwt.t) -> (P.client_msg ->
unit Lwt.t) -> bar_id:string -> msg_id:string -> string -> object ... endclass editors : (P.app_client_msg ->
(P.app_server_msg -> unit Lwt.t) ->
unit Lwt.t) -> (P.app_client_msg ->
unit Lwt.t) -> ((P.client_msg -> (P.server_msg -> unit Lwt.t) -> unit Lwt.t) ->
(P.client_msg -> unit Lwt.t) ->
bar_id:string ->
msg_id:string ->
string ->
editor) -> object ... end